Experiences from specifying the TCAS II requirements using RSML

Author

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

Author_Institution

Minnesota Univ., Minneapolis, MN, USA

Volume

1

fYear

1998

fDate

31 Oct-7 Nov 1998

Abstract

Discusses an approach to specifying system requirements for real-time, reactive systems, some criteria that should be used in designing a language for such requirements, and some lessons learned while writing a system requirements specification for an aircraft collision avoidance system. Since the completion of the project we have made advances in many areas, two of which are of particular interest to the practising engineer: (1) specification and traceability of intent and design rationale; and (2) an improved specification language and modeling methodology

Keywords

aircraft instrumentation; aircraft navigation; real-time systems; specification languages; RSML; TCAS II requirements; aircraft collision avoidance system; design rationale; modeling methodology; reactive systems; real-time systems; specification language; system requirements; traceability; Aerospace control; Aerospace electronics; Air traffic control; Aircraft; Algorithms; Collision avoidance; FAA; Government; Group technology; Natural languages;

fLanguage

English

Publisher

ieee

Conference_Titel

Digital Avionics Systems Conference, 1998. Proceedings., 17th DASC. The AIAA/IEEE/SAE

Conference_Location

Bellevue, WA

Print_ISBN

0-7803-5086-3

Type

conf

DOI

10.1109/DASC.1998.741499

Filename

741499