万博1manbetxSimulink要求
对模型，生成的代码和测试用例的作者，管理和跟踪要求
万博1manbetxSimulink Requiremential™可让您在Simulink内创作，分析和管理要求®。您可以使用自定义属性创建丰富的文本要求，并将其链接到设计，代码和测试。要求可以从外部源导入，并且在要求更改时，您可以接收自动通知。您可以将要求和设计一起查看，建立带有拖放的链接，用需求内容的注释图，分析要求可追溯性，并在要求，设计，生成的代码和测试之间导航。
万博1manbetxSimulink要求指示在链接要求，设计或测试中发生更改时。它可以计算您的要求的实现和验证状态，使您能够评估项目完整性。万博1manbetx通过支持行业标准IEC认证套件（对于ISO 26262和IEC 61508）和做资格套件（DO-178）。
开始：
在Simulink中捕获要求万博1manbetx
要求及其律师可以用富文本描述，包括图像，编号列表和子弹。诸如ID，关键字，修订信息和评论之类的附加属性使您能够详细说明您的要求。自定义属性允许您使用唯一要求数据类型扩展要求。
要求编辑器，用于创建，编辑和组织您的要求。
管理多种模型的所有要求
要求编辑器允许您在多个模型中查看，创建和管理您的所有要求。这包括：
- 要求浏览器组织要求的层次结构
- 链接视图来管理整个项目的链接
- 物业检查员查看和编辑需求和链接的详细信息
- 要配置列显示和排序的自定义
- 搜索工具过滤大量要求
- 报告发件要求
需求，架构和设计的综合图
要求透视提供综合视图万博1manbetx那系统作曲家要么州流程®您可以在哪里查看，作者和组织要求，同时也执行您的设计活动。
要求透视，用于管理Simulink开发环境中的需求。万博1manbetx
基于模型的系统工程支持万博1manbetx
关联架构模型元素系统作曲家具有要求，评估架构的完整性并获得额外要求
用拖放建立可追溯性
您可以通过从需求浏览器拖动要求并在Simulink或StateFlow模型对象中删除它来创建需求和设计之间的链接。万博1manbetx模型对象上出现徽章以指示链接并启用导航到链接的要求。您可以选择从徽章的模型图上显示要求及其连接器。
来自其他来源的要求，例如IBM Rational Doors，Microsoft Word或Microsoft Excel，可以作为只读引用导入或在Simulink中进一步修改。万博1manbetx您可以使用要求交换格式（REQIF）来导入和处理支持该格式的第三方工具的要求。万博1manbetx导入期间，您可以控制从外部文档中的字段的映射到Simulink要求。万博1manbetx您可以指定导入映射到自定义属性的字段以匹配外部文档中的内容。同步操作与引用的要求保持一致性。如果发生需求变更，则提供通知，以便您评估变更的影响。
识别并响应变化
当需求发生变化时，重要的是，它在团队中传达以避免下游错误。每个要求和链接都维护修改后的修订历史记录。万博1manbetxSimulink要求检测与模型相关的要求的变化，包括从外部源导入的模型，使您可以评估更改对您的设计并采取适当行动的影响。您可以对设置设置以查看要求的更改来执行差异操作。
更改检测以提醒您当从外部文档导入的要求更改时。
提供了具有开发生命周期中其他工具的需求可追溯性，包括从需求，设计，实现和测试的双向导航的代码生成和测试工具。您可以链接要求和测试案例，测试套件和测试序列万博1manbetxSimulink Test™，以及来自Simulink模型或测试管理器的访问链接。万博1manbetx代码生成嵌入式编码器®那HDL编码器™， 要么万博1manbetxSimulink PLC编码器™可以从代码生成报告的超链接到要求。这些链接作为代码中的注释标签呈现。代码生成报告中的超链接提供从代码到要求的直接导航。
您可以将Simulink模型元素链接到IBM中万博1manbetx的要求®合理的®门®或IBM.®合理的®门®下一代。
借做资格套件（对于DO-178和DO-254）和IEC认证套件（对于ISO 26262和IEC 61508），您可以生成可追溯矩阵电子表格，显示到代码型双向跟踪性路径和文件信息。
要求，Simulink和StateFlow对象之间的可跟踪性，以及跨开万博1manbetx发生命周期的测试工件进行影响分析和文档。
查看实施和验证状态
万博1manbetxSimulink要求提供Simulink内的需求的实现和验证状态，以识别设计中的差距，缺少要求或设计中的错误。实施和验证指标量化了设计中实施的要求的比例，并与测试用例相关联，以及已通过的测试用例的比例。
这些可追溯性和验证指标量化了基于模型的设计中的开发活动的完整性。状态指标显示为具有颜色指示状态的颜色的要求浏览器中的列。在实施或验证所有子项要求之前，不完全实施或验证对儿童要求的要求。悬停在状态上显示要求及其儿童要求的累积指标。如果状态中缺少链接，则指示需要完成的实现或验证。
理由可以链接到模型中未实施或验证的要求。例如，无功能的要求可以链接到解释以将其从状态过滤。可以在模型中共享和重复使用一组常见的理由。
查看实现和验证状态的状态，以获得对项目状态的洞察力。
生成要求报告
有关审阅和文档，您可以创建一个可配置的报告，其中包含链接，更改信息和实现和验证状态。借万博1manbetxSimulink报告生成器可以创建自定义报告。
