SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation-Reference-Cited by-同舟云学术

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

Published:2018 Issue: Volume: Page:132-146
ISSN:0302-9743
Container-title:Modelling Foundations and Applications
language:
Short-container-title:

Author:

Baduel Ronan,Chami Mohammad,Bruel Jean-Michel,Ober Iulian

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-92997-2_9

Reference22 articles.

1. OMG: OMG Systems Modeling LanguageTM Version 1.5 (2017). http://www.omg.org/spec/SysML/1.5/

2. 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

3. INCOSE: Systems Engineering Vision 2020. Version 2.03 edn. Technical Operations, International Council on Systems Engineering (INCOSE), September 2007. INCOSE-TP-2004-004-02

4. IEEE: 1012–2012 IEEE Standard for System and Software Verification and Validation

5. Stecklein, J.M., Dabney, J., Dick, B., Haskins, B., Lovell, R., Moroney, G.: Error cost escalation through the project life cycle (2004)

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. MBFHA: A Framework for Model‐Based Functional Hazard Assessment for Aircraft Systems;INCOSE International Symposium;2023-07

2. Pragmatic verification and validation of industrial executable SysML models;Systems Engineering;2023-05-10

3. Verification and Validation of SysML Models;INSIGHT;2023-03

4. An Open Benchmark Exercise for Model-Based Design Reviews;Product Lifecycle Management. PLM in Transition Times: The Place of Humans and Transformative Technologies;2023

5. Model‐based systems engineering: Evaluating perceived value, metrics, and evidence through literature;Systems Engineering;2022-10-19