从系列:基于模型的基于MathWorks工具的DO-178C软件开发设计
迈克·安东尼,MathWorks公司
在此次网络研讨会系列的第二部分,我们将讨论如何建立从需求文档Simulink模型,以及如何然后创建详细的设计模型和文本高金宝app层次的需求之间的可追踪性的双向链接。
在一个高完整性的软件开发过程中,最基本的思想之一是软件开发必须基于需求。追溯性的概念有助于确保设计的完整性。模型到文本需求的可追溯性(或者从下到上的可追溯性)有助于确保设计满足它所有的高级需求。需求到模型的可追溯性(从上到下的可追溯性)有助于确保模型中的所有内容都满足需求。换句话说,没有明确要求的能力存在。
这个网络研讨会将通过一个简单的例子来演示如何使用Simulink和Simulink验证和验证来完成这项任务。金宝app
注:Simu金宝applink的验证与确认过渡到Simulink的检查,Simulink的覆盖面,并在R2017b Simulink的要求。
记录:2013年3月31日
我们不会出售或出租您的个人信息。详情请参阅我们的隐私政策。
您已经登录到您的MathWorks帐户。请按“提交”键完成此过程。
您还可以选择从下面的列表中的网站:
选择中国网站(中文或英文)以获得最佳网站性能。其他MathWorks国家站点没有针对您所在位置的访问进行优化。