Model-Based Design for DO-178C Software Development with MathWorks Tools, Part 2: Requirements-Based Modeling and Traceability
In part 2 of this webinar series, we discuss how to build a Simulink model from a requirements document, and how to then create bi-directional links for traceability between the detailed design model and the textual high-level requirements.
In a high-integrity software development process, one of the most fundamental ideas is that the software development must be requirements-based. The idea of traceability helps ensure completeness in the design. Traceability of the model to the textual requirements (or bottom-to-top traceability) helps ensure that the design satisfies all of its high-level requirements. Traceability of the requirements to the model (top-to-bottom traceability) helps ensure that everything in the model satisfies a requirement. In other words, no capability exists that is not explicitly required.
This webinar will walk through a simple example of how to use Simulink and Simulink Verification and Validation to accomplish this task.
Note: Simulink Verification and Validation transitioned to Simulink Check, Simulink Coverage, and Requirements Toolbox in R2017b.
Recorded: 31 Mar 2013
Featured Product
DO Qualification Kit
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 (한국어)