OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation

Baduel, Ronan and Chami, Mohammad and Bruel, Jean-Michel and Ober, Iulian Sorin SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation. (2018) In: European Conference on Modelling Foundations and Applications (ECMFA 2018), 26 June 2018 - 28 June 2018 (Toulouse, France).

[img]
Preview
(Document in English)

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

Official URL: https://doi.org/10.1007/978-3-319-92997-2_9

Abstract

This paper presents a solution for SysML model verification and validation, with a return of experience from its implementation in an industrial context. We present this solution as a way to overcome issues regarding the use of SysML in an industrial context. We contribute by providing a method and a list of the existing challenges and experimentation results. We advocate the need to have semantics for SysML models without having to define a full domain-specific modeling language. We highlight the work, requirements and benefits that arise from the application of existing technical solutions, and hint at new perspectives and future development in system verification and validation.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Springer editor. This papers appears in volume 10890 of Lecture Notes in Computer Science ISSN : 0302-9743 ISBN: volume 978-3-319-92997-2 The original PDF is available at: https://link.springer.com/chapter/10.1007/978-3-319-92997-2_9
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution: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 > Bombardier (UNITED KINGDOM)
Laboratory name:
Funders:
Bombardier Transportation SAS (France) - ANRT CIFRE : Association Nationale Recherche Technologie, Conventions Industrielles de Formation par la REcherche (France)
Statistics:download
Deposited By: IRIT IRIT
Deposited On:18 Jun 2019 10:22

Repository Staff Only: item control page