A Verification Approach from MDE Applied to Model Based Systems Engineering: xeFFBD Dynamic Semantics

Blazo Nastov 1 Vincent Chapurlat 2 Christophe Dony 3 François Pfister 1
1 ISOE-LGI2P - Interoperable System & Organization Engineering
LGI2P - Laboratoire de Génie Informatique et Ingénierie de Production
3 MAREL - Models And Reuse Engineering, Languages
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Abstract : Model Based System Engineering (MBSE) is “the formalized application of modeling to support system requirements, design, analysis, verification and validation activities beginning in the conceptual design phase and continuing throughout development and later life cycle phases” [1]. Among other principles, it promotes creating and analyzing models all along systems engineering. These models are used to discuss, to argue and finally to make decisions that impact the achieved system (in terms of functioning, costs, safety, etc.). One of the main expectations of MBSE is to permit engineers to dispose of models with a high level of confidence. For this purpose, several model Verification and Validation (V&V) approaches exist, aiming to ensure models’ quality in terms of construction (models are correctly built) and in terms of relevance for reaching design objectives and stakeholders’ requirements. This paper aims at discussing and evaluating an approach originally developed in the field of Model Driven Engineering by proposing some adaptations. The approach is illustrated on a well-known functional modeling language dedicated to MBSE field.
Document type :
Conference papers
Complete list of metadatas

Cited literature [25 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01237138
Contributor : Christophe Dony <>
Submitted on : Thursday, May 9, 2019 - 6:43:35 PM
Last modification on : Friday, June 7, 2019 - 12:52:45 PM

File

A_verification_approach_from_M...
Files produced by the author(s)

Identifiers

Collections

Citation

Blazo Nastov, Vincent Chapurlat, Christophe Dony, François Pfister. A Verification Approach from MDE Applied to Model Based Systems Engineering: xeFFBD Dynamic Semantics. CSD&M : Complex Systems Design & Management, Nov 2014, Paris, France. pp.225-238, ⟨10.1007/978-3-319-11617-4_16⟩. ⟨lirmm-01237138⟩

Share

Metrics

Record views

179

Files downloads

12