Automated maintenance of avionics software

This publication has 5 references indexed in Scilit:

• The maintenance of operational flight programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• An advanced system for the verification and validation of real-time avionics software
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Support environment methodologies for the rapid reprogramming of operational flight programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Developing and integrating ProDAG in the Arcadia environment
  Published by Association for Computing Machinery (ACM) ,1992
• A formal model of program dependences and its implications for software testing, debugging, and maintenance
  IEEE Transactions on Software Engineering, 1990