Skip to Main Content

 

White Paper

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.

 

SHARE THIS WHITE PAPER

당신을 위한 Ansys 솔루션을 알아보십시오.

문의하기

* = 필수 항목

문의해 주셔서 감사합니다!

여러분의 질문에 답변해 드리기 위해 최선을 다하겠습니다. Ansys 담당 엽업이 곧 연락을 드릴 것입니다.

바닥글 이미지