Experiences from specifying the TCAS II requirements using RSML

Mats P.E. Heimdahl, Nancy G. Leveson, Jon Damon Reese

Research output: Contribution to conferencePaper

9 Scopus citations

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 languageEnglish (US)
PagesC43-1-C43-8
StatePublished - Dec 1 1998
EventProceedings of the 1998 17th AIAA/IEEE/SAE Digital Avionics Systems Conference, DASC. Part 1 (of 2) - Bellevue, WA, USA
Duration: Oct 31 1998Nov 7 1998

Other

OtherProceedings of the 1998 17th AIAA/IEEE/SAE Digital Avionics Systems Conference, DASC. Part 1 (of 2)
CityBellevue, WA, USA
Period10/31/9811/7/98

Fingerprint Dive into the research topics of 'Experiences from specifying the TCAS II requirements using RSML'. Together they form a unique fingerprint.

Cite this