Title :
Formal methods in airborne collision avoidance standards
Author :
Sowerbutts, Barry
Author_Institution :
Roke Manor Res. Ltd., Romsey, UK
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;
Conference_Titel :
Software in Air Traffic Control Systems - The Future, IEE Colloquium on
Conference_Location :
London
