Issue No. 03 - May-June (2013 vol. 30)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MS.2013.20
Gabriella Carrozza , SESM
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.
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
S. Russo, F. Fucci, R. Pietrantuono, M. Faella and G. Carrozza, "Engineering Air Traffic Control Systems with a Model-Driven Approach," in IEEE Software, vol. 30, no. , pp. 42-48, 2013.