Towards formally analyzed Cyber-Physical Systems

Autor:	Szabó, Richárd, Vörös, András
Rok vydání:	2021
Předmět:	Computer Science - Distributed Parallel and Cluster Computing Computer Science - Software Engineering
Druh dokumentu:	Working Paper
Popis:	Cyber-physical systems (CPS) can be found everywhere: smart homes, autonomous vehicles, aircrafts, healthcare, agriculture and industrial production lines. CPSs are often critical, as system failure can cause serious damage to property and human lives. Today's cyber-physical systems are extremely complex, heterogeneous systems: to be able to manage their complexity in a unified way, we need an infrastructure that ensures that our systems operate with the high reliability as intended. In addition to the infrastructure, we need to provide engineers a method to ensure system reliability at design time. The paradigm of model-driven design provides a toolkit supporting the design and analysis and by choosing the proper formalisms, the model-driven design approach allows us to validate our system at design time. Comment: Editor: Marcello Cinque. 17th European Dependable Computing Conference (EDCC 2021), September 13-16, 2021, Munich, Germany. Student Forum Proceedings- EDCC 2021
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2108.12773 Zobrazit plný text záznamu View this record from Arxiv