Summary: Airspace ManagementAirspace Management
Decision ToolDecision Tool
Nov 29, 2005
Validating the Structure & Behavior
of Software Design
World of Air TrafficWorld of Air Traffic
Control (ATC) is aControl (ATC) is a
constantly changingconstantly changing
NO COMPROMISES!!NO COMPROMISES!!
SAFETY CRITICAL!!SAFETY CRITICAL!!
What happens duringWhat happens during
a shift change? Howa shift change? How
do controllers "inherit"do controllers "inherit"
situation awareness?situation awareness?
Create a tool that modelsCreate a tool that models