OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Model-Based Systems Engineering for Systems Simulation

Leroux-Beaudout, Renan and Pantel, Marc and Ober, Ileana and Bruel, Jean-Michel Model-Based Systems Engineering for Systems Simulation. (2018) In: Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018), 30 October 2018 - 13 November 2018 (Limassol, Cyprus).

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
1MB

Official URL: https://doi.org/10.1007/978-3-030-03424-5_29

Abstract

Model-Based Systems Engineering and early simulation based Validation & Verification are now key enablers for managing the complexity in the development of modern complex systems like Cyber- Physical Systems. Models provide a formal account of system require- ments and design decisions. Model simulation enables both design ex- ploration and design versus requirements correctness assessment. Model simulation activities rely on Simulation Systems (i.e. systems that exe- cute the model simulation). System execution environment models play a key role during these activities. Appropriate models must be devel- oped for each kind of analysis conducted during Validation & Verifica- tion. More and more often, complex Systems Engineering is conducted in Extended Enterprises and the simulation activities are performed us- ing partial models that must be completed with mock-up models for missing parts of the system. The development of Simulation Systems is thus costly and error prone and would benefit from the same Systems Engineering principles that are applied to the product. We propose a methodology for a seamless integration of the Simulation Systems devel- opment in the Products Systems Engineering. This method imports the available elements from the models of the system and its environment, from the Systems Engineering for Product space to a dedicated Systems Engineering for Simulation space. The required mock-up models are then defined in the Systems Engineering for Simulation space. As a result, we target a better management and reuse of the various environment and mock-up models in the various simulation activities during the devel- opment of the same product. This proposal is independent both of the actual methods and tools used to model the system and of the simulation environment.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Springer editor. This papers appears in Volume 11246 of Lecture Notes in Computer Science ISSN : 0302-9743 ISBN: 978-3-030-03424-5_29 The original PDF is available at: https://link.springer.com/chapter/10.1007/978-3-030-03424-5_29
HAL Id:hal-02124418
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Other partners > ALTRAN (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UPS (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > IRT Saint Exupéry - Institut de Recherche Technologique (FRANCE)
Laboratory name:
Funders:
French Commissariat Général à l’Investissements (France) - Agence Nationale de la Recherche (France)
Statistics:download
Deposited By: IRIT IRIT
Deposited On:12 Apr 2019 14:00

Repository Staff Only: item control page