Chris Johnson, Index
Software Development: DO-178B Key Issues
- Traceability and lifecycle focus.
- Designated engineering reps.
- Recommended practices.
- Design verification:
- formal methods "alternative" only;
- "inadequate maturity";
- limited applicability in aviation.
- Design validation:
- use of independent assessors etc.
