Model Driven Approach to Design an Automotive CPS with SysReo Language
Perla Tannoury, Samir Chouali, Ahmed Hammad · 2022
Modeling Cyber-Physical Systems (CPS) remains a challenge due to the complex behaviors of their interconnected components that operate in a physical environment. In this paper, we introduce a new modeling approach based on "SysReo" models, that relies on SysML/MARTE, Reo, and OCL to capture the different aspects of CPS with time constraints, including requirements, behavior, architecture, and interaction protocols. The novelty of our approach relies in the combination of SysML and Reo to handle the complexity of CPS architecture and protocols, in the design step by proceeding incrementally. Then we used SysML/MARTE to model the behavior of CPS with timed constraints. Furthermore, we define OCL constraints to specify rules to be respected to model consistently CPS.