The Air Traffic Controller's Contribution to ATC(Air Traffic Control) System Capacity in Manual and Automated Environments. Volume 1: Summary Report
Abstract : Volume I contains sufficient background material to put the work in perspective, summarizes the methodology used, and presents the study findings and implications for effective automation, as well as quantative capacity estimates and predictions. The methodology is based on a technique called the Relative Capacity Estimating Process (RECEP), developed to assess the implications of controller judgmental factors and decision processes for attainable capacity at several levels of automation. RECEP incorporates a technique of sector operational measurement that includes video recording and structured controller interviews. The technique has been applied to various types of transition, terminal interface, and en route sector operations in several FAA facilities. Results obtained include capacity estimates, for each of the airspace sectors studied, as operated at present and at several future levels of automation.
This paper extends to pomsets without auto-concurrency the fundamental notion of asynchronous cellular automata (ACA) which was originally introduced for traces by Zielonka. We generalize to pomsets the notion of asynchronous mapping introduced by Zielonka and we show how to construct a deterministic ACA from an asynchronous mapping. Our main result generalizes Buchi's theorem for a class of pomsets without auto-concurrency which satisfy a natural axiom. This axiom ensures that an asynchronous cellular automaton works on the pomset as a concurrent read owner write machine. More precisely, we prove the equivalence between non deterministic ACA, deterministic ACA and monadic second order logic for this class of pomsets.