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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
OMG: OMG Systems Modeling LanguageTM Version 1.5 (2017). http://www.omg.org/spec/SysML/1.5/
Chami, M., Oggier, P., Naas, O., Heinz, M.: Real world application of MBSE at Bombardier Transportation. In: The Swiss Systems Engineering Day (SWISSED 2015), Kongresshaus Zurich, 8th September 2015
INCOSE: Systems Engineering Vision 2020. Version 2.03 edn. Technical Operations, International Council on Systems Engineering (INCOSE), September 2007. INCOSE-TP-2004-004-02
IEEE: 1012–2012 IEEE Standard for System and Software Verification and Validation
Stecklein, J.M., Dabney, J., Dick, B., Haskins, B., Lovell, R., Moroney, G.: Error cost escalation through the project life cycle (2004)
Chami, M., Morkevicius, A., Aleksandraviciene, A., Bruel, J.M.: Towards solving MBSE adoption challenges: the D3 MBSE adoption toolbox. In: 28th Annual INCOSE International Symposium, Washington DC, USA, 7–12 July (2018)
Bonnet, S., Exertier, D., Normand, V.: Not (strictly) relying on SysML for MBSE: language, tooling and development perspectives (2015). OCLC: 255348295
Guizzardi, G.: Ontological foundations for structural conceptual models. Ph.D. thesis, Centre for Telematics and Information Technology, Telematica Instituut, Enschede, The Netherlands (2005)
Lamm, J.G., Weilkiens, T.: Functional Architectures in SysML. In: Proceedings of the Tag des Systems Engineering (TdSE 2010), Munich, Germany (2010)
Berkenkotter, K.: OCL-Based Validation of a Railway Domain Profile (2006). OCLC: 248918751
Dragomir, I., Ober, I., Percebois, C.: Contract-based modeling and verification of timed safety requirements within SysML. Softw. Syst. Model. 16(2), 587–624 (2017)
OMG Specification: Object Constraint Language V.2.4. Object Management Group pct/07-08-04, February 2014
Eclipse - Papyrus Guide: Validate (OCL) constraints of a profile
Sparx Systems: Model Validation (2016)
No Magic Documentation: Creating validation rules - MagicDraw 18.2
Altenhofen, M., Hettel, T., Kusterer, S.: OCL support in an industrial environment (2006)
Delmas, R., Pires, A.F., Polacsek, T.: A verification and validation process for model-driven engineering. EDP Sciences 455–468 (2013)
OMG: OSLC4mbse Working Group
Shani, U.: A Case for a SysML OWL Ontology (2014)
Zhao, L., Li, F.: Statistical machine learning in natural language understanding: object constraint language translator for business process. In: 2008 IEEE International Symposium on Knowledge Acquisition and Modeling Workshop, pp. 1056–1059, December 2008
Chami, M., Bruel, J.: Towards an integrated conceptual design evaluation of mechatronic systems: the SysDICE approach. In: Proceedings of the International Conference on Computational Science, ReykjavÃk, Iceland, pp. 650–659 (2015)
OMG: SysML v2 RFP Working Group
Acknowledgements
This work is supported by Bombardier Transportation SAS and the ANRT CIFRE grant #2016/0262.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this paper
Cite this paper
Baduel, R., Chami, M., Bruel, JM., Ober, I. (2018). SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation. In: Pierantonio, A., Trujillo, S. (eds) Modelling Foundations and Applications. ECMFA 2018. Lecture Notes in Computer Science(), vol 10890. Springer, Cham. https://doi.org/10.1007/978-3-319-92997-2_9
Download citation
DOI: https://doi.org/10.1007/978-3-319-92997-2_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-92996-5
Online ISBN: 978-3-319-92997-2
eBook Packages: Computer ScienceComputer Science (R0)