Verification and Validation of Embedded Software Systems
Raymond Tinsel, DAF Trucks NV
Co Melissant, MonkeyProof Solutions BV
At the MathWorks Automotive Conference 2010, DAF Trucks and MonkeyProof Solutions presented the challenge DAF Trucks was facing with the increasing importance and complexity of software in vehicle development, the chosen strategy (migration to Model-Based Design), the transition and migration needs, a tool suite, and some early findings on the chosen approach and environment.
In this session, we will present our progress, tangible results, and findings two years down the road. Perspectives that will be covered are design quality and project management in vehicle development; the design environment and tool suite for design data management, traceability, and testing; and ISO 26262 reflections on the current workflow. We share results yielded by the adoption of Model-Based Design and discuss how project management is supported by a well-defined workflow and supporting infrastructure and design environment. We also share an evaluation of the workflow and design environment in light of ISO 26262.
Note: Simulink Verification and Validation transitioned to Simulink Check, Simulink Coverage, and Requirements Toolbox in R2017b.
Recorded: 17 Apr 2012
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 (한국어)