A layered formal framework for modeling of cyber-physical systems

George Ungureanu, Ingo Sander
2017 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017  
Designing cyber-physical systems is highly challenging due to its manifold interdependent aspects such as composition, timing, synchronization and behavior. Several formal models exist for description and analysis of these aspects, but they focus mainly on a single or only a few system properties. We propose a formal composable framework which tackles these concerns in isolation, while capturing interaction between them as a single layered model. This yields a holistic, fine-grained,
more » ... l and structured view of a cyber-physical system. We demonstrate the various benefits for modeling, analysis and synthesis through a typical example.
doi:10.23919/date.2017.7927270 dblp:conf/date/UngureanuS17 fatcat:a3cvydoaf5amhgmwhrnsn3ifpy