Optimized Model- Based Verification Process to Comply with DO-178C DO-331 Objectives
The development of Safety Critical Software requires a strong effort on the verification side to satisfy the required level of quality. This effort may sometimes reach until 60% of the total cost of the project when we address DO-178C level A applications. In this context of rigorous software development, various verification techniques have been proposed to streamline software verification while preserving the safety of the application. Model-based verification can be considered as one of the most efficient. It includes several verification techniques such as Model check, Model simulation (including Rapid Prototyping) and Model coverage. On the basis of these techniques, most of the verification activities can be carried out at model-level thus identifying problems earlier in the development cycle. The SCADE Test® Product Line fully supports a model-based verification process. It includes several verification modules such as SCADE Test Rapid Prototyper, Test Model Coverage, Test Environment for Host and Target Test Execution with a connection to the LDRA Target Test Environment. The combination of both SCADE Test and LDRA Testing Environment supports an integrated verification flow from early validation of requirements to the final execution of EOC on target. This presentation will detail the process for verifying a model-based application developed with SCADE and will highlight how SCADE Test combined with LDRA Test Environment can satisfy the DO-178C/DO-331 verification objectives.