next up previous contents index
Next: 3.1 The Real-time Concept Up: DCHARTS, A FORMALISM FOR Previous: 2.5 Asynchronous Communication and   Contents   Index


3. Timing

As part of the DCharts semantics, the timing of DCharts models is defined in this chapter.

The DCharts formalism requires that its implementation (whether it is a simulator or an executor) strives to provide the real-time timing scheme for every model.



Subsections

Thomas Huining Feng 2004-04-28