Impact analysis and change management for avionics software

We have developed a prototype software impact analyzer that supports the maintenance of avionics software. The prototype helps maintain the complexity of software over time, decrease the learning curve for new maintainers, and control the increasing test and maintenance burden. It achieves this by providing hyperlinked views of software structure that increase software understanding, indicating the potential effects of software modifications, indicating components that need to be regression tested, and measuring the complexity of the software as it is modified. A version of the prototype that analyzes software written in Ada is currently being tested and evaluated. A version supporting JOVIAL (J73) code is under development.

[1]  J. S. Williamson,et al.  Automated maintenance of avionics software , 1993, Proceedings of the IEEE 1993 National Aerospace and Electronics Conference-NAECON 1993.

[2]  Joseph P. Loyall,et al.  Using dependence analysis to support the software maintenance process , 1993, 1993 Conference on Software Maintenance.

[3]  Debra J. Richardson,et al.  Developing and integrating ProDAG in the Arcadia environment , 1992 .

[4]  C. P. Satterthwaite.  The maintenance of operational flight programs , 1992, [1992] Proceedings IEEE/AIAA 11th Digital Avionics Systems Conference.

[5]  Lori A. Clarke,et al.  A Formal Model of Program Dependences and Its Implications for Software Testing, Debugging, and Maintenance , 1990, IEEE Trans. Software Eng..

[6]  Lori A. Clarke,et al.  An advanced system for the verification and validation of real-time avionics software , 1992, [1992] Proceedings IEEE/AIAA 11th Digital Avionics Systems Conference.