The integration of physical systems and processes with networked computing has led to the emergence of a new generation of engineered systems: Cyber-Physical Systems (CPS). Such systems use computations and communication deeply embedded in and interacting with physical processes to add new capabilities to physical systems. Embedded computers allow designers to add capabilities to physical systems that they could not feasibly add in any other way. By merging computing and communication not only among embedded processors, but also with physical processes, CPS can make systems safer and more efficient, they enable to reduce the cost of building and operating these systems, and they allow individual machines to work together to form complex systems that provide new capabilities. The proposed project aims at studying and specifying basic CPS properties, namely functionality and dependability, and their relationships to CPS architectures that utilize networking. Moreover, this project focuses on formal specification and verification support fitting CPS application design.

• MSM0021630528 - Výzkum informačních technologií z hlediska bezpečnosti