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

기술보고서

기술보고서 게시판 내용
타이틀	A Criteria Standard for Conflict Resolution: A Vision for Guaranteeing the Safety of Self-Separation in NextGen
저자	Munoz, Cesar;; Butler, Ricky;; Narkawicz, Anthony;; Maddalon, Jeffrey;; Hagen, George
Keyword	AIR TRAFFIC;; AIRLINE OPERATIONS;; AVIONICS;; CIVIL AVIATION;; COMMERCIAL AIRCRAFT;; PROGRAM VERIFICATION (COMPUTERS); QUALITY CONTROL;; SAFETY FACTORS;; SYSTEMS ENGINEERING
URL	http://hdl.handle.net/2060/20100037765
보고서번호	NASA/TM-2010-216862
발행년도	2010
출처	NTRS (NASA Technical Report Server)
ABSTRACT	Distributed approaches for conflict resolution rely on analyzing the behavior of each aircraft to ensure that system-wide safety properties are maintained. This paper presents the criteria method, which increases the quality and efficiency of a safety assurance analysis for distributed air traffic concepts. The criteria standard is shown to provide two key safety properties: safe separation when only one aircraft maneuvers and safe separation when both aircraft maneuver at the same time. This approach is complemented with strong guarantees of correct operation through formal verification. To show that an algorithm is correct, i.e., that it always meets its specified safety property, one must only show that the algorithm satisfies the criteria. Once this is done, then the algorithm inherits the safety properties of the criteria. An important consequence of this approach is that there is no requirement that both aircraft *****ute the same conflict resolution algorithm. Therefore, the criteria approach allows different avionics manufacturers or even different airlines to use different algorithms, each optimized according to their own proprietary concerns.