PIERRE VINCENT, Ansys, Inc.
Embedded software in today's aircraft is becoming continually larger and more complex. A sizable part of this software is safety critical. In order to reach the required level of quality, verification of such software applications requires an effort on the verification side that may sometimes reach until 60% of the total costs of the project when the software is DO-178C level A. In this context of rigorous software development, various verification techniques have been proposed to streamline software verification while preserving the safety of the application.