02 · Case log
Case log
Clients identified by sector only.
| No. | Case | Sector | Fault class | |
|---|---|---|---|---|
| 01 | Show-stoppers in an air traffic control display upgrade First-line team for the hardest defects in a national En Route air-traffic control display software upgrade. |
Safety-critical, national infrastructure | Release-blocking defects | Inspect → |
| 02 | Faults at the Ada/C++ boundary Corrupted values and crashes where two languages shared data—traced to differences in acceptable value ranges. |
Mixed-language systems | Cross-language type-checking | Inspect → |
| 03 | Decades of race conditions and deadlocks A practice rather than a case: timing bugs in large, old, heavily shared code. |
Large legacy codebases | Races, deadlocks | Inspect → |