从系列:用MathWorks工具进行DO-178C软件开发的基于模型设计
迈克·安东尼MathWorks
在本系列网络研讨会的第2部分中,我们将讨论如何从需求文档构建Simulink模型,以及如何在详细的设计模型和文本的高级需金宝app求之间创建双向的可追溯性链接。
在高完整性的软件开发过程中,最基本的思想之一是软件开发必须基于需求。可跟踪性的思想有助于确保设计中的完整性。模型对文本需求的可追溯性(或自下而上的可追溯性)有助于确保设计满足它的所有高级需求。需求到模型的可追溯性(从上到下的可追溯性)有助于确保模型中的一切都满足需求。换句话说,没有不需要的功能。
这个网络研讨会将通过一个简单的例子,说明如何使用Simulink和Simulink Verification and Val金宝appidation来完成这个任务。
注:在R20金宝app17b中,Simulink Verification和Validation已过渡到Simulink Check、Simulink Coverage和Simulink Requirements。
记录时间:2013年3月31日
你也可以从以下列表中选择一个网站:
选择中国网站(中文或英文)以获得最佳网站性能。其他MathWorks国家站点没有针对您所在位置的访问进行优化。