Towards formally analyzed Cyber-Physical Systems

Richárd Szabó,András Vörös
DOI: https://doi.org/10.48550/arXiv.2108.12773
2021-08-29
Abstract: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.
Distributed, Parallel, and Cluster Computing,Software Engineering
What problem does this paper attempt to address?