32:41视频长度为32:41。
使用MathWorks工具进行DO-178C软件开发的基于模型的设计,第2部分:基于需求的建模和可追溯性
在这个网络研讨会系列的第2部分中,我们将讨论如何从需求文档构建一个Simulink模型,以及如何在详细设计模型和文本的高级需求之间创建双向链接。
在高完整性的软件开发过程中,最基本的思想之一是软件开发必须是基于需求的。可追溯性的思想有助于确保设计的完整性。模型到文本需求的可追溯性(或从下到上的可追溯性)有助于确保设计满足其所有的高级需求。需求到模型的可追溯性(从顶到底的可追溯性)有助于确保模型中的所有东西都满足需求。换句话说,没有任何功能不是明确需要的。
本次网络研讨会将通过一个简单的例子介绍如何使用Simulink和Simulink验证和验证来完成这一任务。
注意:在R2017b中,Simulink验证和验证转换为Simulink检查、Simulink覆盖和需求工具箱。
记录:2013年3月31日
您也可以从以下列表中选择网站:
如何获得最佳的网站性能
选择中国网站(中文或英文)以获得最佳的网站表现。其他MathWorks国家网站没有针对从您的位置访问进行优化。