This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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
Citation:
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.