DocumentCode
1820000
Title
Formal methods in airborne collision avoidance standards
Author
Sowerbutts, Barry
Author_Institution
Roke Manor Res. Ltd., Romsey, UK
fYear
1992
fDate
33777
Firstpage
42583
Lastpage
42586
Abstract
A summary is given of work that was undertaken by Roke Manor Research Ltd. under contract to CAA. The objective of the work was to clarify through the use of formal methods the proposed standard for airborne collision avoidance systems (ACAS) which has been produced by SICASP on behalf of ICAO. The study included the development of a graphical interface to aid domain experts in validating a formal specification of the standard
Keywords
air traffic computer control; formal specification; graphical user interfaces; position control; program verification; standards; ACAS; CAA; airborne collision avoidance standards; airborne collision avoidance systems; domain experts; formal methods; formal specification; graphical interface; proposed standard; validating;
fLanguage
English
Publisher
iet
Conference_Titel
Software in Air Traffic Control Systems - The Future, IEE Colloquium on
Conference_Location
London
Type
conf
Filename
287251
Link To Document