Modeling behavior and performance of air traffic controllers using coloured petri nets

2012 ◽  
Author(s):  
Hardy Smieszek
Keyword(s):  
Petri Nets ◽  
Air Traffic ◽  
Coloured Petri Nets ◽  
Air Traffic Controllers ◽  
And Performance ◽  
Modeling Behavior

Stress Management and Air Traffic Control Trainees: Development and Evaluation of a New Training Course

2020 ◽  
Vol 64 (1) ◽  
pp. 1155-1159
Author(s):  
Jamie D. Barrett ◽  
Brett Torrence ◽  
Michelle Bryant ◽  
Linda Pierce ◽  
Julia Buck
Keyword(s):  
Stress Management ◽  
Traffic Control ◽  
Management Training ◽  
Federal Aviation Administration ◽  
Air Traffic ◽  
Medical Institute ◽  
Stress Management Training ◽  
Air Traffic Controllers ◽  
Aerospace Medical ◽  
And Performance

The primary mission of the Federal Aviation Administration (FAA) is to maintain the safety of the National Airspace System (NAS). As part of this mission, the FAA is tasked with ensuring that future air traffic controllers are adequately trained to perform the high-risk job of directing air traffic. The FAA Academy curriculum for newly hired controllers involves 3-4 months of intensive lessons and performance assessments. It has been suggested that this training program is quite stressful, and successful trainees tend to be those who can better manage stress. To support ATC trainees, researchers at the Civil Aerospace Medical Institute (CAMI) have conducted operational research to develop and evaluate a stress management training to help trainees manage their stress during training at the FAA Academy.

Dynamically Coloured Petri Nets for Air Traffic Management Safety Purposes

1997 ◽  
Vol 30 (8) ◽  
pp. 169-174 ◽  
Author(s):  
M.H.C. Everdij ◽  
H.A.P. Blom ◽  
M.B. Klompstra
Keyword(s):  
Petri Nets ◽  
Traffic Management ◽  
Air Traffic Management ◽  
Air Traffic ◽  
Coloured Petri Nets

Micropayment proposal with formal verification using coloured Petri nets and performance analysis on the Android platform

2013 ◽  
Vol 8 (1) ◽  
pp. 74 ◽  
Author(s):  
Andreu Pere Isern Deyà ◽  
M. Magdalena Payeras Capellà ◽  
Macià Mut Puigserver ◽  
Josep Lluis Ferrer Gomila ◽  
Llorenç Huguet Rotger
Keyword(s):  
Performance Analysis ◽  
Petri Nets ◽  
Formal Verification ◽  
Coloured Petri Nets ◽  
Android Platform ◽  
And Performance
Sign in / Sign up

Export Citation Format

Share Document