Model Engineering Using Multimodeling

The authors study the simultaneous use of multiple modeling techniques in the design of embedded systems. They begin with a pre-existing Statecharts model of a simple case study, a traffic light for a pedestrian crossing, using it to illustrate the need for multi-modeling and the pitfalls. The original model combines two distinct Models of Computation (MoCs), Finite State Machines (FSMs) and Synchronous/Reactive (SR). They add an additional MoC, a Discrete-Event (DE) model of the environment in which the traffic light operates, including a simple fault model, yielding a model that combines three different modeling techniques.