Multi-View Design for Cyber-Physical Systems

Hui Zhao 1 Ludovic Apvrille 2 Frédéric Mallet 1
1 KAIROS - Logical Time for Formal Embedded System Design
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : 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.
Liste complète des métadonnées

Cited literature [10 references]  Display  Hide  Download

https://hal.inria.fr/hal-01669918
Contributor : Frédéric Mallet <>
Submitted on : Thursday, December 21, 2017 - 4:27:52 PM
Last modification on : Monday, November 5, 2018 - 3:36:03 PM

Identifiers

  • HAL Id : hal-01669918, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

315

Files downloads

211