libFAUDES
Sections
Types
Functions
|
HioSys I/O TestsThe data-types HioPlant, HioController, HioEnvironment and HioConstraint model specific I/O systems, which impose certain conditions on the discrete event dynamic. The below test functions verify these conditions. They also set state attributes to represent the I/O form state decomposition. Hence, the argument is of type +InOut+. IsHioPlantFormTest whether an HioPlant indeed exhibits dynamics compatible the formal definition of the I/O plant Signature:
IsHioPlantForm(+InOut+ HioPlant GArg, +Out+ String ReportStr, +Out+ Boolean BRes) IsHioControllerFormTest whether an HioController indeed exhibits dynamics compatible the formal definition of the I/O controller Signature:
IsHioControllerForm(+InOut+ HioController GArg, +Out+ Boolean BRes) IsHioEnvironmentFormTest whether an HioEnvironment indeed exhibits dynamics compatible the formal definition of the I/O environment Signature:
IsHioEnvironmentForm(+InOut+ HioEnvironment GArg, +Out+ Boolean BRes) IsHioConstraintFormTest whether an HioConstraint indeed exhibits dynamics compatible the formal definition of the I/O constraint Signature:
IsHioConstraintForm(+InOut+ HioConstraint GArg, +Out+ Boolean BRes) HioFreeInputEnforces free input for I/O dynamics by adding error behaviour Signature:
HioFreeInput(+InOut+ HioPlant GArg) |
libFAUDES 2.20d --- 2011.04.26 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-timed-simulator-iodevice-luabindings"