Model-Based Design for DO-178C Software Development with MathWorks Tools, Part 5: Proving Algorithmic Correctness
In part 5 of this webinar series, we discuss the idea of using formal methods to further verify the model and assess robustness. Executing test cases verifies the algorithm’s functionality for that single input case. The use of formal methods analysis allows the developer to verify the algorithm’s functionality for all possible inputs. Except for the simplest algorithms, this level of rigor and robustness is typically impossible to perform via testing alone. This example uses Simulink and Simulink Design Verifier to apply formal methods to prove the absence of design errors in the model, assess functional behavior in all possible scenarios, and automatically generate test cases for missing coverage.
Note: Simulink Verification and Validation transitioned to Simulink Check, Simulink Coverage, and Requirements Toolbox in R2017b.
Recorded: 31 Mar 2013
Featured Product
Simulink Design Verifier
Up Next:
Related Videos:
웹사이트 선택
번역된 콘텐츠를 보고 지역별 이벤트와 혜택을 살펴보려면 웹사이트를 선택하십시오. 현재 계신 지역에 따라 다음 웹사이트를 권장합니다:
또한 다음 목록에서 웹사이트를 선택하실 수도 있습니다.
사이트 성능 최적화 방법
최고의 사이트 성능을 위해 중국 사이트(중국어 또는 영어)를 선택하십시오. 현재 계신 지역에서는 다른 국가의 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 (한국어)