7-10 juin 2022 Vannes (France)
An Incremental Model-Based Design Methodology to Develop CPS with SysML/OCL/Reo
Perla Tannoury  1  
1 : Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
Université de Franche-Comté, Ecole Nationale Supérieure de Mécanique et des Microtechniques, Centre National de la Recherche Scientifique : UMR6174, Université de Technologie de Belfort-Montbeliard : UMR6174

Modeling Cyber-Physical Systems (CPS) remains a challenge due to their interconnected networks of heterogeneous embedded systems that operate in a physical environment. In this paper, we introduce a new modeling approach that relies on SysML, OCL, and Reo to capture the different aspects of CPS, including requirements, 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. Furthermore, we define OCL constraints to specify rules to be respected to model consistently CPS.



  • Poster
Personnes connectées : 1 Vie privée
Chargement...