Search for dissertations about: "Dmitrii Drozdov"

Found 1 swedish dissertation containing the words Dmitrii Drozdov.

2. 1. Development and Verification of Dependable Software of Cyber-Physical Systems using Time-aware Computations

   Author : Dmitrii Drozdov; Valeriy Vyatkin; Sandeep Patil; Andrei Lobov; Luleå tekniska universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Abstract state machines; CPS; formal semantics; formal verification; IEC 61499; time-aware computations; Dependable Communication and Computation Systems; Kommunikations- och beräkningssystem;

   Abstract : Wired and wireless networking is becoming a necessary part of industrial control systems’ design and is one of the reasons that required a new cyber-physical approach to modelling. The phenomenon observed in cyber-physical systems (CPS) is a variety of cross-dependencies and influences between physical processes, computational devices and communications, which needs to be taken into account at the design and verification stage. READ MORE