系统工程
对于系统工程，使用 System Composer™ 对表示和仿真您的系统的架构和组件行为进行建模。System Composer 中的工作流涉及将利益相关方的需求捕获到系统级需求中，然后使用它们来驱动您的架构设计。使用 System Composer，您可以：
用组件、端口和连接器组成架构模型。
扩展建模语言以获取元数据，并使用原型构建架构元素的风格。
定义端口上的数据、物理或客户端-服务器接口，并使用连接器来描述组件交互。
捕获组件接口定义，包括端口接口和特定于实例的参数。
使用架构数据生成具有基于查询的过滤器的架构视图。
使用序列图将组件之间的交互描述为一系列消息交换。
使用分配在功能、逻辑和物理架构之间建立直接关系。
使用活动图将系统分解为其功能行为并仿真活动以可视化和验证系统中的数据流。
执行分析和权衡研究，以优化您的架构设计。
使用 Simulink®、Stateflow® 和 Simscape™ 来描述架构模型中的组件行为。仿真架构模型来验证设计过程不同阶段的系统设计。
通过添加 Requirements Toolbox™，您可以定义功能和设计需求，并将它们链接到 System Composer 组件和端口。将 Requirements Toolbox 与 Simulink Test™ 结合使用，通过创建测试用例的链接来自动验证需求。
您可以使用所有这些工具，在程序的整个生命周期中为架构级别的设计模型创建、管理和验证需求。
主题
基于模型的系统工程
- 选择系统设计的架构模板 (System Composer)
根据域特定扩展选择架构模板。 - 使用架构模型构建和分析系统 (System Composer)
定义架构、添加元数据、执行分析、查看组件依赖关系并实现行为。 - 使用活动图描述系统行为 (System Composer)
在 System Composer 中了解活动图并与之交互。 - 使用序列图描述系统行为 (System Composer)
通过与 System Composer 中的序列图交互来描述模型行为。
系统架构建模
- 可视化构建架构 (System Composer)
使用内置的模型元素类型（如组件、端口和连接）创建架构模型。 - 分解和重用组件 (System Composer)
配置组件以在模型之间重用。 - 定义组件之间的端口接口 (System Composer)
了解定义组件之间连接的端口接口。 - 使用配置文件扩展 System Composer 语言元素 (System Composer)
通过在配置文件中定义构造型来扩展架构，以便将其应用于具有属性值的模型元素。
需求和测试
- 在 MATLAB 或 Simulink 中编写需求 (Requirements Toolbox)
使用 MATLAB® 或 Simulink 创建需求并定义需求层次结构。 - 从设计到验证分配和追踪需求 (System Composer)
链接、追踪、管理、验证和确认需求。 - 创建和存储链接 (Requirements Toolbox)
通过创建链接来追踪设计和测试项的需求。 - 验证机器冷却系统架构的需求 (System Composer)
使用机器冷却示例验证需求。 - 分析 Requirements Table 模块以识别需求规格说明问题 (Requirements Toolbox)
使用 Simulink Design Verifier™ 来验证 Requirements Table 模块。 (自 R2022a 起) - 审查需求验证状态 (Requirements Toolbox)
使用需求验证状态来检查与您的需求相关的测试和分析结果。
组件行为
- 使用 Simulink 实现组件行为 (System Composer)
将组件与 Simulink 中的行为模型关联起来。 - 使用 Simscape 实现组件行为 (System Composer)
在 Simscape 中将组件与物理行为关联起来。 (自 R2021b 起) - 使用 Stateflow 图实现组件行为 (System Composer)
在 Stateflow 中将组件与状态机行为关联起来。 (自 R2021a 起)
分析、权衡研究与视图
- 分析架构 (System Composer)
对 System Composer 架构进行静态分析，以评估系统的特性。静态分析分析系统结构，针对某些特性对架构进行定量评估。静态分析使用分析函数以及系统模型中捕获的属性和参数的参数值。使用分析计算系统的总体可靠性、质量卷积、性能或热特性，或执行大小、重量和功率 (SWaP) 分析以提高效率。 - 分析函数构造 (System Composer)
执行汇总、基于类别、基于分配、剩余使用寿命和变体分析。 - 使用具有属性的机器人系统进行简单的汇总分析 (System Composer)
使用 System Composer 分析工具对机器人进行简单的汇总分析。 - 使用架构视图库创建自定义视图 (System Composer)
使用“架构视图库”工具创建和修改视图。
相关信息
精选示例
小型无人机建模系统架构
建立并完善小型无人飞行器的架构。
使用 System Composer 报告 API 生成系统架构报告
架构的完整报告生成脚本。
使用 System Composer 工作流仿真移动机器人
使用系统工程工作流仿真移动机器人架构。
分析电动汽车充电器锁定机制的正式需求
使用 Requirements Table 模块和 Simulink Design Verifier 构建、分析和更新电动汽车充电站锁定机制的形式化需求。
使用可追溯性矩阵使需求完全可追溯
识别工程中未链接的需求，并将其链接到基于模型的设计项。
使用四轴飞行器架构设计计算耐久性
通过 System Composer 分析计算续航时间，设计四旋翼无人机。
使用基于模型的系统工程设计胰岛素输液泵
使用 System Composer 设计一个具有变体分析的胰岛素输液泵。
节气门位置控制系统的软件架构模型
编写节气门位置控制系统的软件架构。
基于模型的空间应用系统工程
探索基于 CubeSat 模型的系统工程工程模板。
交互式学习
System Composer 入门之旅
完成免费、自定进度的交互式课程，帮助您开始使用 System Composer。
视频
什么是 System Composer
System Composer 是一款基于模型的系统工程工具，用于系统和软件架构设计，允许您将复杂系统或系统的系统 (SoS) 分解为更小、更易于管理的部分。
在 MATLAB 中分析需求可追溯性的三种方法
需求可追溯性分析是跟踪需求与开发生命周期其他方面（包括设计和测试）之间的联系的过程。它可确保每个需求都被考虑在内，具备存在合理性，已正确实现，并通过测试得到验证。
