Abstract
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) |
---|---|
Pages | C43-1-C43-8 |
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
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 |