Tool Support for Verification of Software Timing and Stack Usage for a DO-178B Level A System.

This paper describes an approach to obtain worstcase execution times and worst-case stack usage using a method supported by the Rapita Verification Suite (RVS) from Rapita Systems Ltd for a DO-178B level A Flight Control System software application. The approach has been applied in a Research and Development project in Embraer. The paper outlines the technical approach, and the results achieved so far using two successful testing strategies. [ABSTRACT FROM AUTHOR]