SCV2: A model-based validation and verification approach to system-of-systems engineering
Autor: | Alkiviadis Paspaliaris, Daniel Solis Herrera, Rami Baddour |
---|---|
Rok vydání: | 2015 |
Předmět: |
Programming language
business.industry Computer science computer.file_format computer.software_genre System model System requirements Consistency (database systems) Systems Modeling Language System of systems engineering Executable User interface Software engineering business computer Graphical user interface |
Zdroj: | SoSE |
Popis: | 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. |
Databáze: | OpenAIRE |
Externí odkaz: |