Chris Johnson, Index
Leveson's Completeness Criteria
- Input/Output Variable Completeness.
- Input from sensors to software.
- Output from software to actuators.
- Specification may be incomplete if:
- sensor isnt refered to in spec;
- legal value isnt used in spec.