从系列:基于模型的设计DO-178C软件开发与MathWorks工具
迈克·安东尼,MathWorks公司
在此次网络研讨会系列的第二部分,我们将讨论如何建立从需求文档Simulink模型,以及如何然后创建详细的设计模型和文本高金宝app层次的需求之间的可追踪性的双向链接。
在高完整性的软件开发过程中,最根本的思路之一是,软件开发必须基于需求。可追溯的想法有助于确保设计的完整性。模型到文本需求(或底部到顶部的可追溯性)有助于确保可追溯性的设计满足其所有高层次的需求。要求到模型的可追溯性(顶部至底部可追溯性)有助于确保模型满足一切要求。换句话说,没有能力存在不明确要求。
该研讨会将通过如何使用Simulink和Simulink的验证和确认来完成这个任务一个简单的例子行走。金宝app
注:Simu金宝applink的验证与确认过渡到Simulink的检查,Simulink的覆盖面,并在R2017b Simulink的要求。
记录:2013年3月31日
您还可以从以下列表中选择一个网站:
选择中国网站(以中文或英文)以获取最佳网站性能。其他MathWorks国家网站未优化您的位置。