|
libFAUDES
Sections
Types
Functions
|
HioSys I/O shuffleThe composition function HioShuffle is used to technically group two or (by repetition) more I/O plants into one single I/O plant model. HioShuffleShuffle-composition of two HioPlant systems.
Signature:
HioShuffle(+In+ HioPlant GArg1, +In+ HioPlant GArg2, +Out+ HioPlant GRes) Detailed description: The I/O shuffle of two I/O plants is based on the ordinary shuffle product (parallel composition under absence of shared events), but restricted by the additional condition Lio on the ordering of input-output event-pairs and extended by a well-defined error behaviour Lerr. The latter accounts for situations where Lio is violated, i.e. a measurement event from the one plant component is replied to by a control event to the other plant component. The behaviour of the individual components is not restricted by this composition. The I/O shuffle of two I/O plants results in an I/O plant.
|
libFAUDES 2.16b --- 2010-9-8 --- plugins "example synthesis observer diagnosis hiosys multitasking timed simulator iodevice luabindings"