Verification and Validation of Ada and mixed language applications on ARM

ARM cpus are now often preferred in safety critical embedded environments where PowerPC was the traditional choice. Such software may now be developed in Ada for high safety criticality sub-systems as well as C/C++ for low level drivers/interfaces. The presentation will show how the completeness of functional testing can be measured by code coverage for software which is mixed Ada and C. Regressionable unit testing on a Cortex-M3 simulator and a live target will then collect coverage that was not achieved in functional testing and verify the functional correctness of Ada code. Finally the presentation will demonstrate how this process can be integrated into a Continuous Integration process.