Chris Johnson,
Index
Safety-Critical Software Development
Software design by:
- hazard elimination;
- hazard reduction;
- hazard control.
Software implementation issues:
- dangerous practices;
- choice of `safe' languages.
The DO-178B Case Study.
