A Simple Example
The syncChart below describes the behavior of a watchdog:
set activates the Counter
which counts up the occurrences of T
from 0.
If Counter reaches count
5, then Alarm is emitted.
At any time, reset may
disable the counting or the alarm.
freeze when present, suspends
evolutions specified in the macrostate isON.
The essential of
the syntax of SyncCharts is gathered in this figure.
- nested macrostates
for hierarchy
- parallel composition
for concurrency
- signal broadcasting
( by name sharing )
- preemption by
dedicated arcs ( suspension colored orange; abortion colored red )
- For abortion,
only "strong abortion" is used in this example.
"Weak abortion" is drawn as a simple arc ( with no small circle
at its origin).
A syncChart is created with the SyncCharts editor ( click here to
see a screen copy ). Reports can be generated in LaTeX and postscript
formats ( get the pdf file of the watchdog example).
