需求可追溯性将模型、测试和代码与需求定义联系起来,以帮助管理变更并减少设计生命周期中的浪费。
为了符合行业标准,如汽车行业的ISO 26262和IEC 61508、商用航空的DO-178C、铁路的EN 50128、医疗行业的IEC 62304,以及通用软件开发标准,如CMMI和SPICE,需要进行可追溯性分析。
开发人员实现需求可追溯性的常见任务金宝app®,系统编写器™和状态流®包括:
Simu金宝applink环境提供了高效链接、分析和报告需求可追溯性的功能。有关详细信息,请参阅金宝app,系统编写器和金宝app模拟链路要求™.
另见:形式验证,金宝app模拟链路要求,基于模型的测试,金宝appSimulink设计验证程序,需求跟踪视频
使用Simulink自动化验证和确认金宝app
你对基于模型的设计了解多少?
选择一个网站
选择一个网站以获取翻译后的内容(如果可用),并查看本地活动和优惠。根据您的位置,我们建议您选择:.
您还可以从以下列表中选择网站:
选择中国站点(中文或英文)以获得最佳站点性能。其他MathWorks国家/地区网站未针对您所在地的访问进行优化。
联系当地办事处