Premium
Early Detection of Flaws in System Architecture Model by means of Model Simulation
Author(s) -
Duhil Christophe,
Voirin JeanLuc,
Lépicier Eric,
Babau JeanPhilippe
Publication year - 2020
Publication title -
incose international symposium
Language(s) - English
Resource type - Journals
ISSN - 2334-5837
DOI - 10.1002/j.2334-5837.2020.00817.x
Subject(s) - computer science , architecture , coherence (philosophical gambling strategy) , model checking , abstract state machines , finite state machine , software engineering , state (computer science) , formal verification , programming language , artificial intelligence , theoretical computer science , art , physics , quantum mechanics , visual arts
Architecture definition models in system engineering usually include different views and sets of concepts, more or less correlated to each other, such as activities or functions, time‐ordered sequences, state machines. Ensuring these descriptions are coherent is in no means trivial, usually requiring either formal checking or behavioral simulation, at the expense of extra modeling work. This paper addresses coherence verification at a first level, needing little effort, to detect flaws in in the model as early as possible, before entering more in depth and more costly simulation or formal proofing. To make this verification possible, we define a model execution semantic based on a mix of model exploration and dynamic execution techniques.