Integrating MDT in an Industrial Process in the Air Traffic Control Domain

@article{Carrozza2012IntegratingMI,
  title={Integrating MDT in an Industrial Process in the Air Traffic Control Domain},
  author={Gabriella Carrozza and Mauro Faella and Francesco Fucci and Roberto Pietrantuono and Stefano Russo},
  journal={2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops},
  year={2012},
  pages={225-230}
}
Air Traffic Control (ATC) systems are typical software-intensive mission-critical systems with stringent dependability requirements. The major providers of ATC systems are system integrators that address such requirements at the cost of a very expensive testing effort. They envisage Model Driven Testing (MDT) as a promising approach to reduce this effort while achieving better product quality. Within the context of a public-private partnership for software innovation in the ATC domain, we… CONTINUE READING

References

Publications referenced by this paper.
SHOWING 1-8 OF 8 REFERENCES

A Model Transformation Platform Design Based on Model Driven Architecture

  • 2010 International Conference on Intelligent Computation Technology and Automation
  • 2010
VIEW 1 EXCERPT

Design and implementation of automatic generation of test cases based on model driven architecture

L. Yang, L. Yafen, W. Pu
  • Information Technology and Computer Science (ITCS), 2010 Second International Conference on, pp. 344–347.
  • 2010
VIEW 1 EXCERPT

A Survey of Model-Driven Testing Techniques

  • 2009 Ninth International Conference on Quality Software
  • 2009
VIEW 1 EXCERPT

Similar Papers

Loading similar papers…