建立架构与需求之间的可追溯性
系统设计中的可追溯性使系统工程师能够从利益相关者的需求到各个设计元素,再到整体系统完整性。创建链接以建立架构与需求之间的可追溯性。使用模型到模型分配来显示源模型到目标模型之间的模型元素之间的有向关系。将需求相互关联,与元素和架构模型建模。通过将需求与测试用例链接起来,验证和确认需求。
需要 Requirements Toolbox™ 许可证才能在 System Composer™ 中链接、追踪和管理需求。
使用 Simulink 测试管理器 (Simulink Test)以及为组件创建测试框架需要获得 Simulink® Test™ 许可。有关详细信息,请参阅创建测试框架 (Simulink Test)。
该图展示了一种建立可追溯性的典型方法。

首先,根据利益相关者的需求定义系统需求。然后,将这些需求分解为功能需求、系统需求和硬件需求。功能需求可与系统功能架构模型中的架构元素相关联。从功能需求出发,分配与系统逻辑架构模型各部分相关的系统需求。使用这些系统需求,分配与系统物理架构模型各部分相关的硬件需求。您还可以将元素从功能架构分配到逻辑架构,从逻辑架构分配到物理架构。
提示
要了解更多关于 System Composer 概念在系统工程设计中的应用,请参阅System Composer 概念。
定义需求和需求链接
在需求编辑器中定义需求
需求是描述系统的期望行为和特征的语句集合。需求有助于确保系统设计的完整性,并且应该可实现、可验证、无歧义且相互一致。每个设计层级都应该有适当的需求。您可以使用需求编辑器 (Requirements Toolbox) App 创建需求并将其相互链接。有关更多信息,请参阅链接和追踪需求和管理需求。
更新需求后,它们将存储在需求集中,您可以使用 System Composer 架构模型打开该需求集。
定义需求链接和链接类型
您可以将需求与模型元素关联起来。链接是将两个基于模型的设计元素关联起来的对象。需求链接是一种目标为需求的链接。您可以将需求链接到组件或端口。
有关更多信息,请参阅在 Simulink 中查看和链接需求 (Requirements Toolbox)和创建和存储链接 (Requirements Toolbox)。
您可以通过分配适当的链接类型来增强您的需求。有关详细信息,请参阅定义自定义需求和链接类型 (Requirements Toolbox)。
可视化需求与链接之间的可追溯性
要可视化需求与模型元素之间的需求链接,请使用可追溯性图或可追溯性矩阵。有关更多信息,请参阅使用可追溯性图可视化链接 (Requirements Toolbox)和使用可追溯性矩阵跟踪需求链接 (Requirements Toolbox)。
该可追溯性图侧重于利益相关者的需求,以及这些需求与其他需求和模型的关联。

在该可追溯性矩阵中,源是移动机器人的功能架构,目标是利益相关者的需求。

这些需求均可与设计流程后续阶段的测试案例相关联,并通过测试案例进行验证。有关详细信息,请参阅验证和确认需求。
定义分配和有向关系
在定义需求并将其与模型元素关联后,您可以将这些模型元素相互关联。使用一个模型到另一个模型的模型元素的有向关系来建立模型之间的可追溯性。分配建立从一个模型中的架构元素(组件、端口和连接器)到另一个模型中的架构元素的有向关系。
您可以定义源模型到目标模型之间的模型元素分配。例如,源模型可能是物理架构,目标模型可能是逻辑架构。使用分配编辑器管理分配,并使用模型中的工作流交互式地创建分配。有关详细信息,请参阅交互式创建和管理分配。
首先,创建分配方案以定义源模型和目标模型。在分配方案中的模型元素之间进行分配。默认分配方案称为 Scenario 1。然后,将您的分配保存到一个分配集,以将您的分配场景分组。在分配编辑器中创建包含分配方案的分配集。结果是一个分配矩阵,描述了从源模型到目标模型的全部分配。
对于此分配矩阵,源模型是移动机器人的逻辑架构,目标模型是物理架构。
