MARTE for CPS and CPSoS: Present and Future, Methodology and Tools

Abstract : Cyber-Physical Systems (CPS) combine discrete computing elements together with physical devices in uncertain environment conditions. There have been many models to capture different aspects of CPS. However, to deal with the increasing complexity of these ubiquitous systems, which invade all the part of our lives, we need an integrated framework able to capture all the different views of such complex systems in a consistent way. We also need to combine tools to analyze their expected properties and guarantee safety issues. Far from handing out a full-fledge solution, we merely explore a possible path that could bring part of the solution. We advocate for relying on uml models as a unifying framework to build a single-source modeling environment with design, exploration and analysis tools. We comment on some useful extensions of UML, including MARTE and SysML, and show how they can together capture different views of CPS. We also report on some recent results obtained and discuss possible evolutions in a near future.
Type de document :
Chapitre d'ouvrage
Jean-Pierre Talpin. Cyber-Physical System Design from an Architecture Analysis Viewpoint, Springer, pp.81-108, 2017, 978-981-10-4435-9. 〈10.1007/978-981-10-4436-6_4〉. 〈https://link.springer.com/chapter/10.1007/978-981-10-4436-6_4〉
Liste complète des métadonnées

Littérature citée [28 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01671190
Contributeur : Frédéric Mallet <>
Soumis le : lundi 8 janvier 2018 - 17:35:09
Dernière modification le : mercredi 31 janvier 2018 - 10:24:06
Document(s) archivé(s) le : vendredi 4 mai 2018 - 06:01:51

Fichier

main_public.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Frédéric Mallet, Eugenio Villar, Fernando Herrera. MARTE for CPS and CPSoS: Present and Future, Methodology and Tools. Jean-Pierre Talpin. Cyber-Physical System Design from an Architecture Analysis Viewpoint, Springer, pp.81-108, 2017, 978-981-10-4435-9. 〈10.1007/978-981-10-4436-6_4〉. 〈https://link.springer.com/chapter/10.1007/978-981-10-4436-6_4〉. 〈hal-01671190〉

Partager

Métriques

Consultations de la notice

414

Téléchargements de fichiers

71