Title :
IEE Colloquium on `Software in Air Traffic Control Systems - The Future´ (Digest No.153)
Abstract :
The following topics were dealt with: air traffic control software; task-oriented device modelling; automated planning; ethnographic ATC systems development; requirements capture in ATC; formal methods; airborne collision avoidance; safety argument manager; and software maintenance metrics
Keywords :
air traffic computer control; formal specification; program verification; safety; software maintenance; systems analysis; air traffic control software; airborne collision avoidance; automated planning; ethnographic ATC systems development; formal methods; requirements capture; safety argument manager; software maintenance metrics; task-oriented device modelling;
Conference_Titel :
Software in Air Traffic Control Systems - The Future, IEE Colloquium on
Conference_Location :
London
