Indeterminism detection in scicos

Scicos is a dynamic hybrid (continuous time, discrete time) system simulator. Such systems can be designed in a graphical environment with connected basic blocks, which represent computational functions. From the simplicity of modeling of such systems, in certain cases like multi-clock diagrams, simulation is indeterministic due to the simultaneous activation of blocks from asynchronous activation sources. Because of this indeterminism, the simulation results of modeled systems may be different. In complex diagrams, checking indeterminism is very difficult. Therefore, we have proposed a detection method to check indeterminism automatically, with the aim of guaranteeing the specification validity of modeled systems.