Chris Johnson, Index
Static Testing Techniques
- Sneak Circuit Analysis:
- find weak patterns in topologies;
- for hardware not software.
- Software animation:
- trace behaviour of software model;
- Petri Net animation tools.
- Performance/scheduling theory:
- even if CPU scheduling is static;
- model other resource allocations.
- Formal methods:
- considerable argument even now;
- compare 00-60 with DO-178B...
