基于模型的DO-178C软件开发设计与MathWorks工具，第2部分：基于要求的建模和可追溯性
来自系列：基于模型的DO-178C软件开发
迈克·安东尼MathWorks
在本网络研讨会系列的第2部分中，我们讨论如何从需求文档构建Simulink模型，以及如何在详细设计模型和文本高级要求之间万博1manbetx创建用于可追溯性的双向链路。
在高度诚信的软件开发过程中，最基本的思路之一是软件开发必须是基于要求的。可追溯性的想法有助于确保设计的完整性。模型对文本要求的可追溯性（或最顶层可追溯性）有助于确保设计满足其所有高级要求。对模型的要求（顶到底部可追溯性）的可追溯性有助于确保模型中的一切满足要求。换句话说，没有明确要求的能力不存在。
本次网络研讨会将通过一个简单的例子介绍如何使用Simulink和Simulink Verification来完成这一任务。万博1manbetx
注:在R20万博1manbetx17b中，Simulink Verification和Validation被转换为Simulink Check、Simulink Coverage和Simulink Requirements。
记录：2013年3月31日
下一个系列
相关视频和网络研讨会
你也可以从以下列表中选择一个网站: