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