使用MathWorks工具进行DO-178C软件开发的基于模型的设计，第2部分:基于需求的建模和可跟踪性

在本系列网络研讨会的第2部分中，我们将讨论如何从需求文档中构建Simulink模型，以及如何为详细设计模型和文本级高级需求之间的可追溯性创建双向链接。

在高完整性软件开发过程中，最基本的思想之一是软件开发必须基于需求。可追溯性的思想有助于确保设计的完整性。模型到文本需求的可追溯性(或从底到顶的可追溯性)有助于确保设计满足其所有高级需求。需求到模型的可追溯性(从上到下的可追溯性)有助于确保模型中的所有内容都满足需求。换句话说，不存在不是显式需要的功能。

本次网络研讨会将通过一个简单的例子来演示如何使用Simulink以及Simulink验证和验证来完成这一任务。

注意:在R2017b中，Simulink验证和验证转换为Simulink检查、Simulink覆盖和需求工具箱。