scholarly journals Towards Sophisticated Air Traffic Control System Using Formal Methods

2018 ◽  
Vol 2018 ◽  
pp. 1-13 ◽  
Author(s):  
Abdessamad Jarrar ◽  
Youssef Balouki
Keyword(s):  
Control System ◽  
Formal Methods ◽  
Traffic Control ◽  
Air Traffic Control ◽  
Federal Aviation Administration ◽  
Air Traffic ◽  
Civil Aviation ◽  
Deadlock Freedom ◽  
Traffic Control System ◽  
Continuous Running

We propose a general formal modeling and verification of the air traffic control system (ATC). This study is based on the International Civil Aviation Organization (ICAO), Federal Aviation Administration (FAA), and National Aeronautics and Space Administration (NASA) standards and recommendations. It provides a sophisticated assistance system that helps in visualizing aircrafts and presents automatic bugs detection. In such a critical safety system, the use of robust formal methods that assure bugs absence is highly required. Therefore, this work suggests a formalism of discrete transition systems based on abstraction and refinement along proofs. These ensure the consistency of the system by means of invariants preservation and deadlock freedom. Hence, all invariants hold permanently providing a handy solution for bugs absence verification. It follows that the said deadlock freedom ensures a continuous running of a given system. This specification and modeling technique enable the system to be corrected by construction.

Automated Radar Video Map Production at NOS

1989 ◽  
pp. 5-10
Author(s):  
Ronald Bolton ◽  
Russell Hoover
Keyword(s):  
Control System ◽  
Traffic Control ◽  
Air Traffic Control ◽  
Federal Aviation Administration ◽  
Air Traffic ◽  
Automated Production ◽  
Air Traffic Controllers ◽  
Manual Methods ◽  
Traffic Control System ◽  
And Control

The Aeronautical Charting Division (ACD), National Ocean Service (NOS), National Oceanic and Atmospheric Administration (NOAA) produces the Radar Video Maps (RVM's) used by air traffic controllers to monitor and control the Nation's airspace. These complex maps depict the local Federal Aviation Administration (FAA) airspace definition and show airways, intersections, holding patterns, selected navigational aids, special-use airspace boundaries, and other radar display elements critical to the traffic controller's radar scope displays. Previously produced by tedious manual methods, the ACD's Aeronautical Chart Automated Production (ACAP) system now provides the tools for automated production of this integral part of the FAA air traffic control system.

Air traffic control system—digital simulation facility

SIMULATION ◽  
1971 ◽  
Vol 16 (1) ◽  
pp. 5-17 ◽  
Author(s):  
John R. Vander Veer ◽  
Louis J. Bona
Keyword(s):  
Control System ◽  
Control Systems ◽  
Traffic Control ◽  
Air Traffic Control ◽  
Digital Simulation ◽  
Data Entry ◽  
Development Program ◽  
Federal Aviation Administration ◽  
Air Traffic ◽  
Traffic Control System

The Federal Aviation Administration, at its National Aviation Facilities Experimental Center, has recent ly completed a new air traffic control system Digital Simulation Facility. The facility allows for improved real-time systems simulation and is currently being used to support two important pro jects aimed at improving control and safety of air traffic: It is being used to evaluate the inter action between a proposed airborne collision avoidance system and the air traffic control system, and to validate the various levels of automation in the air-terminal automation development program. The facility was developed for simulating present and proposed air traffic control systems and has twelve digital displays, five used as pilot consoles and seven as controlleer consoles. Each is equip ped with data entry devices for communicating with the computer which controls the simulation. This article describes the operation of the system, the hardware which comprises it, and the software required to control the equipment, to simulate air craft flights, and to collect and reduce data. Advantages of the new simulation facility over prior ones are discussed, as are plans for its use and expansion. The new facility provides an environment for con ducting simulations required in developing improved air traffic control systems to meet the needs of our increasing air traffic.

Assessment of string tests strategy for an en route air traffic control system

2008 ◽  
Vol XXVIII (1) ◽  
pp. 24-30
Author(s):  
Jeff O'Leary ◽  
Frederick Woodard ◽  
Alok Srivastava ◽  
Denise S. Beidleman
Keyword(s):  
Control System ◽  
Traffic Control ◽  
Air Traffic Control ◽  
Air Traffic ◽  
Traffic Control System

Redisign of the Air Traffic Control System-Moving People through Distributed Management

1978 ◽  
Vol 22 (1) ◽  
pp. 485-485
Author(s):  
John G. Kreifeldt
Keyword(s):  
Decision Making ◽  
Control System ◽  
Traffic Control ◽  
Air Traffic Control ◽  
Negative Impact ◽  
Air Traffic ◽  
Critical Function ◽  
Congressional Hearings ◽  
The Future ◽  
Traffic Control System

The present national Air Traffic Control system is a ground-centralized, man intensive system which through design allows relatively little meaningful pilot participation in decision making. The negative impact of this existing design can be measured in delays, dollars and lives. The FAA's design plans for the future ATC system will result in an even more intensive ground-centralized system with even further reduction of pilot decision making participation. In addition, controllers will also be removed from on-line decision making through anticipated automation of some or all of this critical function. Recent congressional hearings indicate that neither pilots nor controllers are happy or sanguine regarding the FAA's design for the future ATC system.

AIR TRAFFIC CONTROL BASICS

2021 ◽  
pp. 53-56
Author(s):  
T. S. Sukhova ◽  
O. V. Aleksashina ◽  
O. N. Grinyuk
Keyword(s):  
Control System ◽  
Traffic Control ◽  
Air Traffic Control ◽  
Air Traffic ◽  
Flight Safety ◽  
Traffic Control System ◽  
Control Complex

The concept of flight safety is considered, the features and purpose of the air traffic control system, the air traffic control complex, the capabilities of the system that ensure flight safety are presented.

Sign in / Sign up

Export Citation Format

Share Document