국내 최대 기계 및 로봇 연구정보

기술보고서

기술보고서 게시판 내용
타이틀	A Framework for Probabilistic Evaluation of Interval Management Tolerance in the Terminal Radar Control Area
저자	Hercencia-Zapana, Heber;; Herencia-Zapana, Heber;; Hagen, George E.;; Neogi, Natasha
Keyword	AIR TRAFFIC CONTROL;; AIRSPACE;; FLIGHT CREWS;; SAFETY FACTORS;; SPACING;; SYSTEMS ENGINEERING;; TERMINAL GUIDANCE;; WORKLOADS (PSYCHOPHYSIOLOGY)
URL	http://hdl.handle.net/2060/20120015510
보고서번호	NF1676L-14502
발행년도	2012
출처	NTRS (NASA Technical Report Server)
ABSTRACT	Projections of future traffic in the national airspace show that most of the hub airports and their attendant airspace will need to undergo significant redevelopment and redesign in order to accommodate any significant increase in traffic volume. Even though closely spaced parallel approaches increase throughput into a given airport, controller workload in oversubscribed metroplexes is further taxed by these approaches that require stringent monitoring in a saturated environment. The interval management (IM) concept in the TRACON area is designed to shift some of the operational burden from the control tower to the flight deck, placing the flight crew in charge of implementing the required speed changes to maintain a relative spacing interval. The interval management tolerance is a measure of the allowable deviation from the desired spacing interval for the IM aircraft (and its target aircraft). For this complex task, Formal Methods can help to ensure better design and system implementation. In this paper, we propose a probabilistic framework to quantify the uncertainty and performance associated with the major components of the IM tolerance. The analytical basis for this framework may be used to formalize both correctness and probabilistic system safety claims in a modular fashion at the algorithmic level in a way compatible with several Formal Methods tools.