Towards formally analyzed Cyber-Physical Systems
This addresses reliability issues in critical systems like autonomous vehicles and healthcare, but it appears incremental as it builds on existing model-driven paradigms.
The paper tackles the problem of ensuring high reliability in complex cyber-physical systems by proposing a model-driven design approach that allows validation at design time, though no concrete results or numbers are provided.
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.