fsm-bbv States
| Name | Context | Description | Final | Initial | Composite | Entry Action | Exit Action |
|---|---|---|---|---|---|---|---|
- |
true |
true |
true |
- |
- |
||
Root |
false |
true |
false |
Entry action of Off state |
ExitOffstate |
||
Root |
false |
false |
false |
||||
Root |
false |
false |
true |
||||
On |
false |
false |
true |
entryFM |
exitFM |
||
On |
false |
true |
false |
||||
FM |
false |
true |
false |
entryPlay |
exitPlay |
||
FM |
false |
false |
false |
fsm-bbv Transitions
| Start State | End State | Description | Local | Guard | Action |
|---|---|---|---|---|---|
Off → TogglePower |
false |
Maintenance is On |
log transition Off to Maintenance |
||
Off → On |
false |
Maintenance Off |
OfftoOn |
||
Maintenance → Off |
false |
MaintainedtoOff |
|||
TogglePower → On |
false |
OntoOff |
|||
FM → DAB |
false |
FMtoDAB |
|||
DAB → DAB |
true |
||||
DAB → FM |
false |
DABtoFM |
|||
Play → Play |
true |
||||
Play → AutoTune |
false |
PlaytoAutoTune |
|||
AutoTune → Play |
false |
AutoTunetoPlay |