Behavior requirements
The guide defines the following categories of rules (
specification ):
Event driven
- Fault response: how to respond to specific faults
- State transitions: the mapping: (Current State,
Event ) => New State
- Event impact: the mapping: Event => Expected change in parameters
- Process initiation: the mapping: (State, Time) => Expected change in parameters (
more ... )
Ongoing
- Fault detection: how to detect and identify faults.
- Behavior : the mapping:
State => Expected change in parameters. Parameter values that should stay in a pre-defined range (
more ... )
- Compatibility: the mapping: Unit
state =>
Mode (
more ... )
Scenario-based operational rules
- Normal constraints are intended to prevent certain exceptional
situations, such as due to
operator's
error, and to detect those that could
not be prevented.
- Exception constraints are intended to prevent
escalation, namely, to
disable events that are irrelevant to the
exceptional state .
Updated on 26 Mar 2017.