Professional Documents
Culture Documents
Embedded Systems
Models = Programs
• LabVIEW
• Simulink
• Scade
• …
• Reactors
• StreamIT
• …
States = {0, 1, 2, · · · , M} .
up ⇥ ¬down
which means
g = {{up}}
Inputs(up) = present, .
Inputs(down) = absent
Initial state
Output
• LabVIEW Statecharts
• Simulink Stateflow
• Scade
• …
state
initial state
transition
self loop
Self-Loop
Default Transition
Stuttering Transition
Models = Programs