The system is in the normal operating mode across all instrumentation units, no unit is in test mode, and no unit is in maintenance mode, a threshold setpoint v_p has been set for pressure, and a threshold setpoint v_t has been set for temperature.
The system is in a stable normal state and responds to a new event.
The system is in a stable normal state and receives input from the user and reads data from its sensors and, reacts to user input, and if necessary, actuates an actuator.
Test system behavior across all possible combinations of modes, commands, pressure values, temperature values, and failure conditions.
Test system voting behavior across all possible combinations of vote inputs.