从系列:基于模型的设计DO-178C软件开发与MathWorks工具
迈克·安东尼MathWorks
在本系列网络研讨会的第2部分中,我们将讨论如何从需求文档构建Simulink模型,以及如何创建详细设计模型和文本高级需求万博1manbetx之间的双向链接。
在高完整性的软件开发过程中,最根本的思路之一是,软件开发必须基于需求。可追溯的想法有助于确保设计的完整性。模型到文本需求(或底部到顶部的可追溯性)有助于确保可追溯性的设计满足其所有高层次的需求。要求到模型的可追溯性(顶部至底部可追溯性)有助于确保模型满足一切要求。换句话说,没有能力存在不明确要求。
该研讨会将通过如何使用Simulink和Simulink的验证和确认来完成这个任务一个简单的例子行走。万博1manbetx
注意:在R2万博1manbetx017b中,Simulink验证和确认过渡到Simulink检查、Simulink覆盖和Simulink要求。
记录:2013年3月31日
我们不会出售或出租您的个人联系信息。详情请参阅我们的隐私政策。
您到您的MathWorks公司的帐户已经签署。请按“提交”按钮,完成这一过程。
你也可以从以下列表中选择一个网站:
选择最佳的网站性能的中国网站(在中国或英文)。其他MathWorks的国家网站都没有从您的位置访问进行了优化。
本网站使用Cookies来改善您的用户体验,个性化的内容和广告,并分析网站流量。通过继续使用本网站,您同意我们使用Cookie。请参阅我们的隐私政策了解更多关于cookies和如何更改您的设置。