SCV2: A model-based validation and verification approach to system-of-systems engineering
Informazioni aggiuntive
Autori
Baddour R.,
Paspaliaris A.,
Solis Herrera D.
Tipo
Contributo in atti di conferenza
Anno
2015
Lingua
Inglese
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.
Atti di conferenza
System of Systems Engineering Conference (SoSE), 2015 10th
Mese
maggio
Editore
IEEE
Parole chiave
Automated Code Generation, Model-based System Engineering, SoSE, StateCharts, SysML, System-of-Systems, Validation and Verification
