Adding simulation capability to systemic models
In systems engineering, the model-based methodology allows the representation of models at a high level. In this context, models are represented through state machines in order to integrate the different parts of the system. Therefore, the need arises to perform the simulation of state machines in an automated way, to verify the integrity of the created models. Thus, a Python extension was developed for one of the main systems engineering modeling tools, known as Capella, that allows the simulation of statecharts. Therefore, the developed tool was applied in two state machines to exemplify its practical behavior.