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.
Experiences from specifying the TCAS II requirements using RSML
17th DASC. AIAA/IEEE/SAE. Digital Avionics Systems Conference. Proceedings (Cat. No.98CH36267) ; 1 ; C43/1-C43/8 vol.1
01.01.1998
797090 byte
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Close encounters, Scramble to meet TCAS requirements
Online Contents | 1995
Online Contents | 2003
|Online Contents | 1998
|SAE Technical Papers | 1983
|Tema Archiv | 1987
|