主要内容

万博1manbetxSimulink要求

对模型,生成的代码和测试用例的作者,管理和跟踪要求

万博1manbetx®要求™允许您创作,分析和管理Simulink内的要求。万博1manbetx您可以使用自定义属性创建丰富的文本要求,并将其链接到设计,代码和测试。要求可以从外部源导入,并且在要求更改时可以接收自动通知。您可以将要求和设计一起查看,建立带有拖放的链接,用需求内容的注释图,分析要求可追溯性,并在要求,设计,生成的代码和测试之间导航。

万博1manbetxSimulink要求指示更改何时发生连接要求,设计或测试。它可以计算您的要求的实现和验证状态,使您能够评估项目完整性。

万博1manbetx通过支持行业标准IEC认证套件(对于ISO 26262和IEC 61508)和做资格套件(对于DO-178)。

开始

了解Simulink要求的基础知识万博1manbetx

要求定义

作者要求,从外部文档创建要求,定义要求层次结构

要求可追溯性

链接要求和模型元素,指定关系,添加标记,查看模型和代码的可追溯性,检查一致性

基于要求的测试

基于要求的模型验证,解释和报告测试结果

要求比较和变更跟踪

需求审查和比较,跟踪更改并提供理由,生成报告以签署和批准

要求管理界面

遗留RMI接口支持的需求可追溯性万博1manbetx

验证和验证

使用Si万博1manbetxmulink产品测s manbetx 845试模型和代码,检查设计错误,检查标准,测量覆盖范围,并验证系统

工具资格和认证

符合DO和IEC万博1manbetx认证的SIMULINK要求