Qualified Model Verification – Simulation | Using Qualified Tools in a DO-178C Development Process, Part 3
From the series: Using Qualified Tools in a DO-178C Development Process
Verification of low-level software requirements and architecture spans several objectives in DO-178C. When using Model-Based Design, DO-331 allows the use of simulation as a means of compliance for several of these objectives. Objectives that can be satisfied by simulation are compliance and compatibility with high-level requirements, accuracy and consistency, verifiability, and algorithm accuracy. Simulink® and Stateflow® support desktop simulation using the run button, but in a DO-331 process, it is important to have repeatable test cases and procedures along with test results reports. Simulink Test™ provides the capability to author and organize simulation cases, as well as the ability to automate assessment and reporting of the test results. Some of the features of Simulink Test are the test manager, test harnesses, and test authoring via Test Sequence or Signal Builder blocks. Simulink Test also provides the capability to link tests to requirements using the Requirements Toolbox™ interface. An additional requirement in DO-331 is that model coverage needs to be assessed when verifying compliance to the high-level software requirements. Simulink Coverage™ provides model coverage assessment and it is integrated to run automatically when using Simulink Test. Two reports are provided by the tools: A test results report with pass/fail assessment and a model coverage report. The DO Qualification Kit provides the necessary artifacts to qualify the generation of the test results report, pass/fail assessment, and model coverage reports.
Published: 31 Oct 2017
웹사이트 선택
번역된 콘텐츠를 보고 지역별 이벤트와 혜택을 살펴보려면 웹사이트를 선택하십시오. 현재 계신 지역에 따라 다음 웹사이트를 권장합니다:
또한 다음 목록에서 웹사이트를 선택하실 수도 있습니다.
사이트 성능 최적화 방법
최고의 사이트 성능을 위해 중국 사이트(중국어 또는 영어)를 선택하십시오. 현재 계신 지역에서는 다른 국가의 MathWorks 사이트 방문이 최적화되지 않았습니다.
미주
- América Latina (Español)
- Canada (English)
- United States (English)
유럽
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)
아시아 태평양
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)