Glossary

ACM	ATC Communication Management
ACM	Aircraft Communication Management
ACTL	Action based Temporal Logic
ADS	Automatic Dependant Surveillance
ADSP	Automatic Dependant Surveillance Panel
AIRPROX(P)	Airborne Proximity (Pilot) incident report- ‘airmiss’ reports
AIRPROX(C)	Airborne Proximity (Controller) incident report - formerly APHAZ
ALARP	‘As Low As Reasonably Practicable’ risk
AMAN	Arrival Manager Tool
ASAS	Airborne Separation Assurance System
A-SMGCS	Advanced Surface Movement Guidance and Control System
ATC	Air Traffic Control
ATCO	Air Traffic Control Officer
ATM	Air Traffic Management
ATM	Automated Teller Machine
ATS	Air Traffic Service
BCG	Binary Coded Graph
CAA	Civil Aviation Authority
CADP	CÆSAR/ALDÉBARAN Development Package
CD&R	Conflict Detection & Resolution
CFMU	Central Flow Management Unit
CHIRP	Confidential Human Incident Reporting scheme
CIC	Clearance and Information Communications
CNS	Communication, Navigation, Surveillance
CPDLC	Controller Pilot Data Link Communication
CTL	Computation Tree Logic
CLG	Command Language Grammar
DERA	Defence Evaluation and Research Agency
DGAC	Direction Générale de l’Aviation Civile
DMAN	Departure Manager Tool
DRUIDES	Determination of the Rules to Use and Implement Data link for air/ground Exchanged Sequences
FANS	Future Air Navigation System
GTA	Groupware Task Analysis
GOMS	Goals Operators Methods and Selection rules
HAZOP	Hazard and Operability Study
HCI	Human Computer Interaction
HCI	Human Computer Interface
HF	High Frequency
HMI	Human-Machine Interface
ICAO	International Civil Aviation Organisation
ISO	International Organisation for Standardisation
JAAG	Joint AIRPROX (C) Assessment Panel
JAWG	Joint AIRPROX (P) Working Group
KHz	Kilo Hertz
LACK	Logical Acknowledgement
LATCC	London Area and Terminal Control Centre
LOTOS	Language Of Temporal Ordering Specifications
LTS	Labelled Transition System
MAD	Méthode Analytique de Description
MEFISTO	Modelling, Evaluating and Formalising Interactive Systems using Tasks and interaction Objects
MHz	Mega Hertz
MOR	Mandatory Occurrence Report
ODIAC	Operational Development of Initial Air/ground data Communication
R/T	Radiotelephony
RVR	Runway Visual Range
S&MT	Sequencing & Metering Tools
SMGCS	Surface Movement Guidance and Control System
STCA	Short-Term Conflict Alert
TAKD	Task Analysis for Knowledge Description
TCAS	Terminal Collision Avoidance System
TID	Touch Input Device
TKS	Task Knowledge Structure
TLIM	Task Lotos Interactors Modelling
UAN	User Action Notation
UML	Unified Modelling Language
UI	User Interface
VCI	Voice Change Instruction
VHF	Very High Frequency