This Article 
 Bibliographic References 
 Add to: 
Engineering Air Traffic Control Systems with a Model-Driven Approach
May-June 2013 (vol. 30 no. 3)
pp. 42-48
Mauro Faella, Critiware
Francesco Fucci, Federico II University of Naples
Roberto Pietrantuono, Federico II University of Naples
Stefano Russo, Federico II University of Naples
Testing software in air traffic control systems costs much more than building them. This is basically true in every domain producing software-intensive critical systems. Software engineers strive to find methodological and process-level solutions to balance these costs and to better distribute verification efforts among all development phases. There's considerable interest in applying model-driven engineering (MDE) approaches in the critical systems engineering field. This article reports the experience of an ATC systems producer in applying MDE into its industrial context.
Index Terms:
Air traffic control,Unified modeling language,Software reliability,Atmospheric modeling,Standards,Air transportation,Control systems,Software development,model-driven testing,software process models,life cycle,model-based design
Gabriella Carrozza, Mauro Faella, Francesco Fucci, Roberto Pietrantuono, Stefano Russo, "Engineering Air Traffic Control Systems with a Model-Driven Approach," IEEE Software, vol. 30, no. 3, pp. 42-48, May-June 2013, doi:10.1109/MS.2013.20
Usage of this product signifies your acceptance of the Terms of Use.