Hardware

Model Engineering Using Multimodeling

Download Now Free registration required

Executive Summary

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.

  • Format: PDF
  • Size: 1569.3 KB