Name: SMAVE Architect
Brand: SMAVE

SMAVE Architect
架构建模分析

SMAVE Architect支持SysML与AADL图形化建模，实现系统架构建模与分析。基于SysML可开展需求、行为、结构、接口和约束建模；基于AADL可开展软件组件、硬件资源、连接、属性和运行架构建模，并支持模型实例化、流延迟、总线负载、资源分配及错误模型分析。

优势

标准建模支持

支持SysML和AADL两类标准建模，可用于需求、行为、结构、接口、软件组件和硬件资源等内容的规范化描述，满足系统与软件架构设计需要。

SysML图形化建模

提供需求图、用例图、活动图、状态机图、块定义图、内部块图、时序图和参数图，满足复杂系统从需求到行为与结构的多角度表达。

AADL图形化建模

支持AADL文本模型、XML模型与Diagram联动编辑，图形化操作可同步更新文本定义，兼顾直观建模体验与架构描述的严谨性。

全程可追溯

支持需求层次、派生、验证和满足关系建模，并将需求与设计元素建立关联，帮助团队持续检查需求覆盖、设计一致性和变更影响。

架构风险前置

在软件实现前开展模型实例化、端到端延迟、总线负载和资源分配分析，提前识别时序、通信容量及软硬件配置中的潜在风险。

模型质量保障

支持对SysML模型及模型子树执行语法和建模规范检查，集中呈现错误与警告信息，帮助设计人员快速定位问题并提升模型质量。

功能点

需求建模

架构建模

模型协同

架构分析

SysML图形化建模

通过需求图建立需求层次、派生、验证和满足关系，并结合用例图、活动图与状态机图描述外部交互、业务流程和状态变化。块定义图、内部块图、时序图和参数图进一步表达功能结构、接口依赖、调用时序及约束关系，形成完整、可追踪的需求分析模型。

1/4

AADL软硬件架构设计

使用AADL描述系统、进程、线程、处理器、内存、总线和设备等架构元素，通过端口、连接、流和属性表达软件层级、硬件执行平台、数据流与控制流。平台同时支持数据组件集中管理数据类型和结构规范，保障架构定义的一致性。

2/4

图文同步与模型实例化

支持AADL文本、XML模型与Diagram之间的联动编辑，用户可在图形界面和文本环境中协同维护架构。完成系统设计后，可将组件定义实例化为具体系统结构，自动展开组件层次、连接、流路径及继承属性，为架构检查与性能分析提供可靠基础。

3/4

延迟负载与资源分析

基于实例化模型执行端到端流延迟、总线负载和资源分配分析，比较实际延迟与设计约束，识别通信路径占用和总线过载风险。平台还支持调度属性配置、EMV2错误模型及错误树分析，帮助团队提前验证架构可行性。

4/4

SysML图形化建模

通过需求图建立需求层次、派生、验证和满足关系，并结合用例图、活动图与状态机图描述外部交互、业务流程和状态变化。块定义图、内部块图、时序图和参数图进一步表达功能结构、接口依赖、调用时序及约束关系，形成完整、可追踪的需求分析模型。

1/4

AADL软硬件架构设计

使用AADL描述系统、进程、线程、处理器、内存、总线和设备等架构元素，通过端口、连接、流和属性表达软件层级、硬件执行平台、数据流与控制流。平台同时支持数据组件集中管理数据类型和结构规范，保障架构定义的一致性。

2/4

图文同步与模型实例化

支持AADL文本、XML模型与Diagram之间的联动编辑，用户可在图形界面和文本环境中协同维护架构。完成系统设计后，可将组件定义实例化为具体系统结构，自动展开组件层次、连接、流路径及继承属性，为架构检查与性能分析提供可靠基础。

3/4

延迟负载与资源分析

基于实例化模型执行端到端流延迟、总线负载和资源分配分析，比较实际延迟与设计约束，识别通信路径占用和总线过载风险。平台还支持调度属性配置、EMV2错误模型及错误树分析，帮助团队提前验证架构可行性。

4/4

核心能力

需求建模与追踪

以SysML为基础建立需求、用例、行为、结构和接口模型，支持需求分解、派生、验证与满足关系管理。需求可与相关设计元素建立关联，帮助团队清晰识别每项需求如何被分析、实现和验证，并在设计变化时快速评估影响范围，形成连续可追踪的需求工程链路。

多视图协同分析

平台通过用例图、活动图、状态机图、块定义图、内部块图、时序图和参数图，从交互、流程、状态、结构、连接、时序和约束等维度描述系统。各视图共享统一模型元素，避免重复定义，使设计人员能够在不同分析视角之间顺畅切换并保持模型一致。

软硬件架构设计

利用AADL组件体系，统一定义软件组件、执行线程、处理器、内存、总线、设备及其端口、连接、流和属性。通过图形化Diagram与文本模型同步维护，团队既可快速搭建架构，又能精确控制属性和接口定义，形成可分析、可复用的软硬件协同架构模型。

架构分析与评估

通过模型实例化将抽象架构展开为可分析的系统实例，并自动解析组件层次、连接、流路径和属性信息。基于实例开展流延迟、总线负载、资源绑定和调度分析，帮助设计人员量化评估系统时序、通信容量和资源配置，为架构优化与方案决策提供依据。

使用场景

需求分析与软件架构设计流程

软件需求分析建模

将自然语言需求转化为结构化SysML模型，明确需求层次、功能边界、外部交互、执行流程和状态行为，为后续架构设计建立统一输入。

软件架构方案设计

使用AADL组织软件组件、硬件平台、端口、连接、流和调度属性，通过图形与文本协同方式快速构建、比较和完善架构方案。

实时性能提前评估

在实现前对实例化架构执行流延迟和总线负载分析，检查端到端时序、通信容量和资源分配，提前发现性能瓶颈与配置风险。

模型评审与交付

通过模型验证集中检查语法和建模规范问题，并将需求、架构图表及分析结果用于设计评审、工程迁移、项目交付和后续复用。

行业应用

航空航天

核电领域

汽车电子

轨道交通

航空航天

面向飞控、航电和任务系统，平台可使用SysML表达需求、功能、行为、接口和约束，利用AADL构建软件组件、硬件平台、通信连接及调度属性。结合模型验证、实例化、端到端延迟和总线负载分析，为方案论证、架构评审、需求追踪及适航资料准备提供模型化支持。

1/4

核电领域

面向核电控制系统，平台可建立需求分解、验证与满足关系，并以AADL描述控制软件、处理器、内存、总线和设备架构。通过模型验证、实例化、流延迟、资源绑定和通信负载分析，帮助团队检查关键功能的可追溯性、时序约束与资源配置。

2/4

汽车电子

面向智驾控制系统，平台可通过SysML梳理需求、用例、流程和状态，利用AADL定义ECU软件任务、处理器、内存、总线及端口连接。结合图文同步、实例化、调度属性和性能分析，帮助研发团队验证软硬件分配、任务时序和车载通信架构。

3/4

轨道交通

面向轨交控制系统，SMAVE Architect可建立需求、功能、状态与接口模型，并通过AADL描述软件任务、处理器、总线及通信关系。结合模型实例化、流延迟和总线负载分析，帮助团队评估实时性、通信容量和资源配置，为安全关键架构评审与需求追踪提供支撑。

4/4

航空航天

面向飞控、航电和任务系统，平台可使用SysML表达需求、功能、行为、接口和约束，利用AADL构建软件组件、硬件平台、通信连接及调度属性。结合模型验证、实例化、端到端延迟和总线负载分析，为方案论证、架构评审、需求追踪及适航资料准备提供模型化支持。

1/4

核电领域

面向核电控制系统，平台可建立需求分解、验证与满足关系，并以AADL描述控制软件、处理器、内存、总线和设备架构。通过模型验证、实例化、流延迟、资源绑定和通信负载分析，帮助团队检查关键功能的可追溯性、时序约束与资源配置。

2/4

汽车电子

面向智驾控制系统，平台可通过SysML梳理需求、用例、流程和状态，利用AADL定义ECU软件任务、处理器、内存、总线及端口连接。结合图文同步、实例化、调度属性和性能分析，帮助研发团队验证软硬件分配、任务时序和车载通信架构。

3/4

轨道交通

面向轨交控制系统，SMAVE Architect可建立需求、功能、状态与接口模型，并通过AADL描述软件任务、处理器、总线及通信关系。结合模型实例化、流延迟和总线负载分析，帮助团队评估实时性、通信容量和资源配置，为安全关键架构评审与需求追踪提供支撑。

4/4

SMAVE Architect

SMAVE Architect架构建模分析

优势

标准建模支持

SysML图形化建模

AADL图形化建模

全程可追溯

架构风险前置

模型质量保障

功能点

SysML图形化建模

AADL软硬件架构设计

图文同步与模型实例化

延迟负载与资源分析

SysML图形化建模

AADL软硬件架构设计

图文同步与模型实例化

延迟负载与资源分析

核心能力

需求建模与追踪

多视图协同分析

软硬件架构设计

架构分析与评估

使用场景

需求分析与软件架构设计流程

行业应用

航空航天

核电领域

汽车电子

轨道交通

航空航天

核电领域

汽车电子

轨道交通

获取专业解决方案

SMAVE Architect
架构建模分析