Towards V&V suitable Domain Specific Modeling Languages for MBSE: A tooled approach

Blazo Nastov 1, 2 Vincent Chapurlat 3 Christophe Dony 1 François Pfister 2
1 MAREL - Models And Reuse Engineering, Languages
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
2 ISOE-LGI2P - Interoperable System & Organization Engineering
LGI2P - Laboratoire de Génie Informatique et Ingénierie de Production
Abstract : Considering Model-Based Systems Engineering (MBSE) principles and needs, this article focuses on the design of Domain Specific Modeling Languages (DSMLs) aiming to link modeling, verification and validation (V&V) activities. The goal is to ease the work and increase the freedom and autonomy of experts from various domains in the process of creating and managing system models then to supply experts involved in analyses and decision making processes with models characterized by highest level of confidence. This paper introduces and illustrates a tool-equipped approach, named “xviCore”, that provides MBSE experts with natively verifiable, executable and interoperable DSML named “xviDSML”, i.e., DSML that can be formally and directly checked and simulated requesting no huge efforts or skills.
Type de document :
Communication dans un congrès
INCOSE International Symposium, Jul 2016, Edinburgh, United Kingdom. John Wiley & Sons, Inc., 26th Annual INCOSE International Symposium 26 (1), pp.556-570, 2016, Achieving excellence through Systems Engineering. 〈http://www.incose.org/symp2016/home〉. 〈10.1002/j.2334-5837.2016.00178.x〉
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01377575
Contributeur : Blazo Nastov <>
Soumis le : vendredi 7 octobre 2016 - 11:07:57
Dernière modification le : lundi 15 janvier 2018 - 13:10:03

Identifiants

Citation

Blazo Nastov, Vincent Chapurlat, Christophe Dony, François Pfister. Towards V&V suitable Domain Specific Modeling Languages for MBSE: A tooled approach. INCOSE International Symposium, Jul 2016, Edinburgh, United Kingdom. John Wiley & Sons, Inc., 26th Annual INCOSE International Symposium 26 (1), pp.556-570, 2016, Achieving excellence through Systems Engineering. 〈http://www.incose.org/symp2016/home〉. 〈10.1002/j.2334-5837.2016.00178.x〉. 〈lirmm-01377575〉

Partager

Métriques

Consultations de la notice

42