The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.03 - May-June (2013 vol.30)
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
ABSTRACT
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
REFERENCES
1. MIL-STD-498, Overview and Tailoring Guidebook, US Dept. of Defense, 1996.
2. J. Miller and J. Mukerji, MDA Guide Version 1.0.1, 2003; www.omg.org/cgi-bin/doc?omg03-06-01.pdf.
3. P.Baker et al., Model Driven Testing: Using the UML Testing Profile, Springer, 2010.
4. M. Mussa et al., “A Survey of Model-Driven Testing Techniques,” Proc. Int'l Conf. Quality Software, IEEE CS, 2009, pp. 167–172.
5. UML Testing Profile (UTP), OMG, 2012.
6. C. Willcock et al., An Introduction to TTCN-3, John Wiley & Sons, 2011.
7. H. Hemmati,A. Arcuri,, and L. Briand,“Achieving Scalable Model-Based Testing through Test Case Diversity,” ACM Trans. Software Eng. and Methodology, vol. 22, no.1, 2013, article 6.
8. E. Hull, K. Jackson, and J. Dick, Requirements Engineering, Springer, 2010.
9. J. Hutchinson, M. Rouncefield, and J. Whittle, “Model-Driven Engineering Practices in Industry,” Proc. Int'l Conf. Software Eng., IEEE CS, 2011, pp. 633–642.
10. B. Selic, “What Will It Take? A View on Adoption of Model-Based Methods in Practice,” Software & Systems Modeling, Springer, vol. 11, no. 4, 2012, pp. 513–526.
11. L. Briand, “Embracing the Engineering Side of Software Engineering,” IEEE Software, vol. 29, no. 4, 2012, p. 96.
753 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool