来自系列:使用MathWorks工具的DO-178C软件开发模型设计
Mike Anthony,Mathworks
在本网络研讨会系列的第2部分中,我们讨论如何从需求文档构建Simulink模型,以及如何在详细设计模型和文本高级要求之间金宝app创建用于可追溯性的双向链路。
在高度诚信的软件开发过程中,最基本的思路之一是软件开发必须是基于要求的。可追溯性的想法有助于确保设计的完整性。模型对文本要求的可追溯性(或最顶层可追溯性)有助于确保设计满足其所有高级要求。对模型的要求(顶到底部可追溯性)的可追溯性有助于确保模型中的一切满足要求。换句话说,没有明确要求的能力不存在。
此网络研讨会将通过如何使用Simulink和Simulink验证和验证来实现这项任务的简单示例。金宝app
注意:Sim金宝appulink验证和验证转换为R2017B中的Simulink Check,Simulink Coverage和Simulink要求。
记录:2013年3月31日
您还可以从以下列表中选择一个网站:
选择中国网站(以中文或英文)以获取最佳网站性能。其他MathWorks国家网站未优化您的位置。