Requirements validation of a voice communication system used in air traffic control. An industrial application of light-weight formal methods

2002 ◽  
Author(s):  
J. Horl ◽  
B.K. Aichernig
Keyword(s):  
Formal Methods ◽  
Traffic Control ◽  
Industrial Application ◽  
Communication System ◽  
Air Traffic Control ◽  
Air Traffic ◽  
Light Weight ◽  
Voice Communication ◽  
Requirements Validation

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.

scholarly journals Detecting English Speech in the Air Traffic Control Voice Communication

2021 ◽  
Author(s):  
Igor Szöke ◽  
Santosh Kesiraju ◽  
Ondřej Novotný ◽  
Martin Kocour ◽  
Karel Veselý ◽  
...  
Keyword(s):  
Traffic Control ◽  
Air Traffic Control ◽  
Air Traffic ◽  
Voice Communication

Influence of noise on the speaker verification in the air traffic control voice communication

2017 ◽  
Vol 141 (5) ◽  
pp. 3469-3469 ◽  
Author(s):  
Milan Rusko ◽  
Trnka Marian ◽  
Sakhia Darjaa ◽  
Marian Ritomský ◽  
Igor Guoth
Keyword(s):  
Traffic Control ◽  
Air Traffic Control ◽  
Speaker Verification ◽  
Air Traffic ◽  
Voice Communication ◽  
Influence Of Noise
Sign in / Sign up

Export Citation Format

Share Document