Multiple Analyses, Requirements Once:

Modeling and analysis of sampled-data cyber-physical systems: using hybrid automata with clocked linear dynamics

“…These and other pitfalls prompt engineers and scientists to engage into interdisciplinary domains, in order to improve the design effort. In turn, new model-driven analysis and design frameworks are emerging that try to bridge the gap between abstractions, by incorporating more aspects from each other via mutual refinement [Ber+19]. In the case of embedded control, new models of analysis are introduced that jointly incorporate the digital and physical behavior of the CPS in a consistent mathematical framework.…”

“…An emerging design approach that tries to address the above mentioned issues, and improve the software verification process is the so-called modeldriven design [Ber+19]. Here, computational models of the software are derived, and are exhaustively analyzed using formal methods to detect faults early on.…”