HISC Project Validity
A HISC project is valid if it meets the following criteria:
- The name of the project does not contain invalid characters.
- If two different DES in the project contain an event with the same name, then the events must be identical in all their properties (short name, controllability, type etc).
- Every event in the event set of the project is used in at least one DES component belonging to the project.
- The high-level subsystem must contain a valid name.
- The high-level subsystem must contain at least one supervisor subsystem DES component and one plant subsystem DES component.
- For every DES component (“the high-level component”) in the high-level subsystem, the following must be true:
Every event in the event set of 'the high-level component” is of type default, answer, request or low data. All default events in the event set of the high-level subsystem are used exclusively in high-level subsystem components.
- The project must contain at least one interface.
- All interface names must be valid.
- All interfaces must contain at least one interface DES each.
- For every interface (“the interface”) and every component (“the DES component”) of “the interface” the following must be true:
Every event in the event set of “the DES component” is typed as request, answer or low data and it is used exclusively by DES components of “the interface” or in DES components of the high-level subsystem or DES components of the low-level subsystem corresponding to “the interface”.
- For each interface, there is a low-level subsystem.
- All low-level subsystem names are valid.
- All low-level subsystems contain at least one supervisor subsystem DES component and one plant subsystem DES component.
- For every low-level subsystem, and for every component (“the DES component”) in the low-level subsystem the following must be true:
Every event in the event set of “the DES component” is typed default, request, answer or low data and that all events of type default in the event set of “the DES component” are used exclusively by components in the low-level subsystem.
- All Des that are part of the project must pass the consistency check described in DES Tools.