Simulink Requirements

编写需求、管理需求并将需求追溯到模型、生成的代码和测试用例

您可以使用 Simulink Requirements™ 在 Simulink® 中编写、分析和管理需求。您可以使用自定义属性创建富文本需求,并将其链接到设计、代码和测试。您可以从外部源导入需求,并在需求发生变化时收到自动通知。您可以同时查看需求和设计,使用拖放操作建立链接,使用需求内容对图表进行注释,分析需求可追溯性,以及在需求、设计、生成的代码和测试之间导航。

当链接的需求、设计或测试发生变化时,Simulink Requirements 会相应指示。它计算需求的实现和验证状态,您可由此评估工程的完成情况。配合 IEC Certification Kit (for ISO 26262 and IEC 61508)DO Qualification Kit (for DO-178 and DO-254),还可实现对行业标准的支持。

开始:

在 Simulink 中编写和组织需求

在 Simulink 中使用富文本创建需求,并通过需求集加以组织。

在 Simulink 中捕获需求

使用包含图像、编号列表和项目符号的富文本描述需求及其理由。使用其他属性(如 ID、关键字、修订信息和注释)完善和细化您的需求。使用自定义属性以使用独有的需求数据类型来扩展需求。

用于创建、编辑和组织需求的需求编辑器。

跨多个模型管理所有需求

需求编辑器支持您查看、创建和管理多个模型的所有需求。它包括:

  • 需求浏览器,用于组织需求的层次结构
  • 链接视图,用于管理整个工程内的链接
  • 属性检查器,用于查看和编辑需求和链接详细信息
  • 自定义项,用于配置列的显示和排序
  • 搜索工具,用于筛选大型需求集
  • 报告生成,用于需求的文档记录

同时处理需求和模型

在编写、查看、组织和管理需求的同时执行设计活动。通过拖放操作轻松从需求追溯到设计,并在建模环境中识别实现中的缺口。

需求、架构和设计的集成视图

需求透视图在 SimulinkSystem Composer 或 Stateflow® 内提供了一个集成的视图,您可以在其中查看、编写和组织需求,同时还执行设计活动。

需求透视图,用于在 Simulink 开发环境中管理需求。

基于模型的系统工程支持

将 System Composer 中的架构模型元素与需求相关联,评估架构的完整性并衍生附加需求。

通过拖放操作建立可追溯性

要在需求和设计之间建立链接,您可以直接将需求从需求浏览器拖放到 Simulink 或 Stateflow 模型对象上。模型对象上将显示一个标记,表示存在链接,并支持导航到所链接的需求。您可以通过标记选择在模型图上显示需求及其连接器。

导入和同步外部需求

您可以将来自外部源(如 IBM Rational DOORS、Microsoft Word 或 Microsoft Excel)的需求作为只读参考导入,也可在 Simulink 中对其作进一步修改。您可以使用 Requirements Interchange Format (ReqIF) 导入和处理来自支持该格式的第三方工具的需求。在导入期间,您可以控制从外部文档到 Simulink 需求的字段映射。您可以指定将导入字段映射到自定义属性,以匹配外部文档中的内容。同步操作可确保与参考需求的一致性。如果发生需求变更,您将收到通知,并可评估变更带来的影响。

对变更进行识别和响应

当需求发生变化时,一定要传达到整个团队,以避免出现下游错误。发生修改时,每个需求和链接都会保留修订历史记录。Simulink Requirements 检测链接到模型的需求(包括从外部源导入的需求)发生的变更,从而帮助您评估变更对设计的影响并采取适当的措施。您可以基于需求集执行差异比较,以查看需求变更。

从外部文档导入的需求发生变更时,变更检测功能将向您发出提醒。

从需求追溯到设计、代码和测试

您还可以针对开发生命周期中的其他工具实现需求可追溯性,包括代码生成和测试工具,从而在需求、设计、实现和测试之间双向导航。您可以将需求与 Simulink Test™ 中的测试用例、测试套件和测试序列进行链接,并从 Simulink 模型或 Test Manager 访问这些链接。对于从 Embedded Coder®HDL Coder™Simulink PLC Coder™ 生成的代码,您可以从代码生成报告将其超链接到需求。这些链接在代码中以注释标签的形式呈现。代码生成报告中的超链接提供了从代码到需求的直接导航。

您可以将 Simulink 模型元素链接并追溯到 IBM® Rational® DOORS® 或 IBM® Rational® DOORS® Next Generation 中的需求。

配合 DO Qualification Kit (for DO-178 and DO-254) IEC Certification Kit (for ISO 26262 and IEC 61508) ,您可以生成可追溯性矩阵电子表格,其中显示需求-模型-代码之间的双向可追溯性路径和文件信息。

整个开发生命周期中需求、Simulink 与 Stateflow 对象以及测试工件之间的可追溯性,用于影响分析和文档记录。

追溯基于模型的设计活动的状态

查看实现和验证状态

Simulink Requirements 在 Simulink 中提供需求的实现和验证状态,以便您识别实现中的缺口、缺失的需求或设计中的错误。实现和验证指标能够量化反映已在设计中实现的、与测试用例相关的需求的比例,以及已经通过的测试用例的比例。

这些可追溯性和验证指标量化了您在基于模型的设计中开发活动的完成情况。状态指标在需求浏览器中显示为一列,用颜色指示状态。对于包含子需求的需求,只有在所有子需求都已实现或验证之后,才能完全实现或验证。将鼠标悬停在状态上可显示需求及其子需求的累积指标。如果状态中有缺失链接,则表示该处需要完成实现或验证。

理由可以链接到模型中尚未实现或验证的需求。例如,您可以将某一非功能性需求链接到某一理由,以将其从状态中筛去。一组通用的理由可在模型内共享和重用。

查看实现和验证的状态,以了解工程状态。

生成需求报告

针对审核或文档需要,您可以创建可配置的报告,其中包含链接、变更信息以及实现和验证状态。您可以使用 Simulink Report Generator 创建自定义报告。