A Statecharts implementation to run simulation of control dealing with parameterized states

An experimental approach to provide a simulation code for Statecharts specification is proposed. The realisation presented here has been thought to accept a Statecharts advanced construct: the parameterized states. It relies on two real-time development systems, ESTEREL and KHEOPS. The former, well known as an imperative language, describes the triggering part when the latter, a rule based working environment, maintains valid a database which traces the evolution of the Statecharts configuration. The authors give the architecture guidelines of this event driven application in order to outline the co-operation of the different generated automation. The current solution distributes the reasoning into local subsystems referring to a state top-down decomposition where the communication and the processing of an evolution step is in charge of a master module. Finally, the contributions taken by ESTEREL and KHEOPS in the construction of the subsystems is tackled and illustrated on an example. Hence one can see how ESTEREL translates combinations of entering signals into a single transition that KHEOPS tests in production rules to perform a state to state evolution