Page History
Info | ||
---|---|---|
| ||
Time in SCCharts. Alexander Schulz-Rosengarten and Reinhard von Hanxleden and Frédéric Mallet and Robert de Simone and Julien Deantoni. In Proc. Forum on Specification and Design Languages (FDL ’18), Munich, Germany, September 2018. (bib) |
Clocks
Clocks can be defined to gain access to real time and specify timed transitions.
Code Block | ||||
---|---|---|---|---|
| ||||
scchart Simple {
initial state A
auto go to B
state B
delayed go to C
final state C
} |
Periodic Regions
Dynamic Ticks
Dynamic Ticks are based on an extended tick environment that provides deltaT and receives sleepT.
The simulation in KIELER supports a dynamic ticks mode to test models using this feature.
In the simulation view switch mode to Dynamic, see screenshot below.