|
A Safe State Machine (SSM) is a visual synchronous model. SSM graphical notation was designed in the mid-nineties [Andreacute; 1996] and is now integrated in SCADE and Esterel StudioT, both products from Esterel Technologies. SSMs are devoted to programming control-dominated software or hardware systems. These systems are reactive; they continuously react to stimuli coming from their environment by sending back other stimuli. SSM is much more than a Finite State Machine; it supports hierarchy, concurrency and preemption. A section in this paper deals in particular with the operational semantics of SSM: the syntax of SSM is precisely defined, and the way a reaction is computed is given.
|
||||||
|
||||||
|
||||||
