libFAUDES

Sections

Types

Functions

HioSys I/O Tests

The 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+.

IsIoPlantForm

Test whether an HioPlant indeed exhibits dynamics compatible the formal definition of the I/O plant

Signature:

IsIoPlantForm(+InOut+ HioPlant GArg, +Out+ Boolean BRes, +Out+ String ReportStr)
IsIoPlantForm(+InOut+ HioPlant GArg, +Out+ Boolean BRes)
IsIoPlantForm(+InOut+ HioPlant GArg, +Out+ StateSet QYpYe, +Out+ StateSet QUp, +Out+ StateSet QUe, +Out+ EventSet ErrEv, +Out+ TransSet ErrTr, +Out+ StateSet ErrSt, +Out+ Boolean BRes, +Out+ String ReportStr)

IsIoControllerForm

Test whether an HioController indeed exhibits dynamics compatible the formal definition of the I/O controller

Signature:

IsIoControllerForm(+InOut+ HioController GArg, +Out+ Boolean BRes)

IsIoEnvironmentForm

Test whether an HioEnvironment indeed exhibits dynamics compatible the formal definition of the I/O environment

Signature:

IsIoEnvironmentForm(+InOut+ HioEnvironment GArg, +Out+ Boolean BRes)

IsIoConstraintForm

Test whether an HioConstraint indeed exhibits dynamics compatible the formal definition of the I/O constraint

Signature:

IsIoConstraintForm(+InOut+ HioConstraint GArg, +Out+ Boolean BRes)

FreeInput

Enforces free input for I/O dynamics by adding error behaviour

Signature:

FreeInput(+InOut+ HioPlant GArg)
FreeInput(+InOut+ HioController GArg)
FreeInput(+InOut+ HioEnvironment GArg)
FreeInput(+InOut+ HioConstraint GArg)
FreeInput(+In+ Generator GArg, +In+ EventSet U, +In+ EventSet Y, +Out+ Generator GRes, +In+ String StrErr1, +In+ String StrErr2)

libFAUDES 2.14g --- 2009-12-3 --- plugins "example synthesis observer diagnosis hiosys multitasking timed simulator iodevice luabindings"