2021/08/29 by Richárd Szabó, Szabó, Richárd, András Vörös +1
Computer Science · #Model-Driven Software Engineering Techniques #Advanced Software Engineering Methodologies #Formal Methods in Verification
paper · pdf · doi:10.48550/arxiv.2108.12773
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.