The Minimal Operational Performance Standard (MOPS) for TCAS II (Traffic alert and Collision Avoidance System) was deemed unacceptable by the FAA as a basis for government certification, as it is expressed in plain English and low-level pseudocode. To correct this problem, a high-level software requirements specification (SRS) was developed by reverse engineering the pseudocode and capturing the required behavior using RSML (Requirements State Machine Language), a requirements language based on hierarchical communicating finite state machines.
|Original language||English (US)|
|State||Published - Dec 1 1998|
|Event||Proceedings of the 1998 17th AIAA/IEEE/SAE Digital Avionics Systems Conference, DASC. Part 1 (of 2) - Bellevue, WA, USA|
Duration: Oct 31 1998 → Nov 7 1998
|Other||Proceedings of the 1998 17th AIAA/IEEE/SAE Digital Avionics Systems Conference, DASC. Part 1 (of 2)|
|City||Bellevue, WA, USA|
|Period||10/31/98 → 11/7/98|