Chris Johnson, Index
Leveson's Completeness Criteria
- Output Specification Completeness.
- from software to process actuators.
- Check for hazardous values.
- Check for hazardous timings;
- how fast do actuators take events?
- what if this rate is exceeded?
- Problems of asynchronous comms.