Multi-View Design for Cyber-Physical Systems - Equipe System on Chip Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Multi-View Design for Cyber-Physical Systems

Ludovic Apvrille

Résumé

Cyber-Physical Systems are complex systems made of various and heterogeneous subsystems; they have different aspects and each aspect has its own requirements and properties to be satisfied. Model-Driven Engineering (MDE) is a promising approach used to design and analyze complex systems on different levels and diverse views. CPS designers take many factors into account due to the complexity and diversity of current CPS systems. The designers have their own individual experience and specific viewpoint; they may use different models and languages to describe various domains, different models and languages lead to a complex coherency management. Therefore, how to promote the coherency of a whole system and ensure all subsystems can work together is an important concrete issue. To resolve this issue, we introduce a unified modeling methodology which can coordinate different models and languages with a multi-view approach. Indeed, we expect multi-view approaches to help handling system coherency. Hence, we focus on providing a high-level modeling methodology with multi-view that (i) Coordinates different languages of models and diverse tools. (ii) Ensures engineering-wide collaboration by sharing the same reference architecture. (iii) Handles the complexity of systems and architectures, using unified viewpoints to model the whole systems with top-down refinement. (iv) Supports different formal methods to verify critical elements. (v) Backtraces verification results to models.
Fichier principal
Vignette du fichier
MultiviewDesignForCPS.pdf (335.29 Ko) Télécharger le fichier
Loading...

Dates et versions

hal-01669918 , version 1 (21-12-2017)

Identifiants

  • HAL Id : hal-01669918 , version 1

Citer

Hui Zhao, Ludovic Apvrille, Frédéric Mallet. Multi-View Design for Cyber-Physical Systems. PhD Symposium at 13th International Conference on ICT in Education, Research, and Industrial Applications, May 2017, Kiev, Ukraine. pp.22-28. ⟨hal-01669918⟩
373 Consultations
279 Téléchargements

Partager

Gmail Facebook X LinkedIn More