Independent validation and verification of the TCAS II collision avoidance subsystem

IEEE Aerospace and Electronic Systems Magazine

Volumn 15, Issue 8, 2000, Pages 3-9

  Abdul Baki, Bassam ^a   Baldwin, Jonathan ^a   Rudel, Marc Philippe ^a  

^a Rannoch Corp   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AIRCRAFT; ALGORITHMS; AVIONICS; COCKPITS (AIRCRAFT); COLLISION AVOIDANCE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; RADAR EQUIPMENT; SOFTWARE ENGINEERING;

INDEPENDENT VALIDATION AND VERIFICATION; REQUIREMENTS STATE MACHINE LANGUAGE; TRAFFIC ALERT AND COLLISION AVOIDANCE SYSTEM;

AIR TRAFFIC CONTROL;

EID: 0034246521     PISSN: 08858985     EISSN: None     Source Type: Journal    
DOI: 10.1109/62.861767     Document Type: Article

References (4)

1. Software Considerations in Airborne Systems and Equipment Certification, 1 December 1992, RTCA Document DO-178B, Prepared by SC-167.
2. Minimum Operational Performance Standards for Traffic Alert and Collision Avoidance System II (TCAS II) Airborne Equipment, 23 May 1997, Volume II, RTCA/DO-185A, RTCA, Inc.
3. TCAS II Collision Avoidance System (CAS) System Requirements Specification, 30 November 1993, (Revised 28 February 1994), Version 6.04A, Federal Aviation Administration.
4. Minimum Operational Performance Standards for Traffic Alert and Collision Avoidance System (TCAS) Airborne Equipment, 29 September 1989, RTCA/DO-185, Volumes 1 & 2, Change 6.00.