SCV2: A model-based validation and verification approach to system-of-systems engineering
Additional information
Authors
Baddour R.,
Paspaliaris A.,
Solis Herrera D.
Type
Article in conference proceedings
Year
2015
Language
English
Abstract
Model-Based Systems Engineering provides an effective methodology for designing complex systems and System-of-Systems. More importantly, such an approach opens the possibility to automatically generate executable simulators from system modules using model-to-code transformations, in order to verify the system model''s completeness and validate design requirements. However, the user may still need to write code segments to describe the detailed functionality of system components. In this paper, we present the SCV2 tool, which allows the simulation of big size heterogeneous/multiple-class systems and system-of-systems, imposes code-model consistency and aided statechart design through reverse code-to-model transformations, and provides query-based requirement validation and functionality verification through an intuitive user interface. Finally, we present a use-case showing the utilization of the tool in the WiBRATE FP7 project for early-stage validation of system requirements.
Conference proceedings
System of Systems Engineering Conference (SoSE), 2015 10th
Month
May
Publisher
IEEE
Keywords
Automated Code Generation, Model-based System Engineering, SoSE, StateCharts, SysML, System-of-Systems, Validation and Verification