libFAUDES
Sections
Types
Functions
|
Multitasking ObserverSince the notion of blocking is refined by the colored marking, the observer problem is restated for MtcSystems. MtcNaturalObserverCopmute a colored natural observer by extending a given high-level alphabet. |
libFAUDES 2.20d --- 2011.04.26 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-timed-simulator-iodevice-luabindings"