M-Simwork仿真验证工具

　　模型化方式构建交互界面，内置多种逻辑仿真引擎，并打通主流的系统仿真软件

　　企业级数字化系统仿真，构建系统集成仿真流程

　　M-Simwork 支持多种仿真引擎，实现对系统逻辑的虚拟验证，高效检验模型是否满足功能需求

　　产品亮点

　　定制化交互界面

　　灵活、可配置交互界面，优化仿真效率，提升用户体验；定制化界面智能展示仿真过程，最大限度降低信息误差；优化系统与用户间的交互，提升利益相关者间沟通效率

　　支持第三方工具集成，扩展计算能力

• 支持集成MatLab，提供强大科学计算能力；与SKT打通，支持进行联合仿真
• 支持集成Modelica，打通系统设计和详细设计；同时，支持将系统模型导出为Modelica模型，实现系统设计模型向下游的传递

　　需求验证

　　通过建模创建的需求关系，动态展示仿真过程，及时反馈模型的正确性，提高建模效率

　　符合标准规范，提供统一的运行语义

• 基于fUML的活动引擎，支持并发、流式行为、判断策略选择等特性
• 基于PSCS的状态机引擎，支持事件转换、正交状态、状态引用等特性，支持全部标准伪态
• 基于SysML和UML语义的参数引擎，根据系统约束，自动实时计算参数

　　产品特色

　　需求验证

　　仿真结果关联系统需求，实现设计闭环

　　仿真测试

　　可执行的测试用例，确保系统设计质量

　　多实例仿真

　　批量运行并记录仿真结果，实现多方案比选

　　仿真特性灵活配置

　　语言及行为特性可配置，适应组织、项目自定义建模规范

　　全模型化仿真

　　基于模型的运行配置、系统原型界面设计，构建统一工作流

　　多场景支持

　　多场景仿真联动，满足复杂系统行为需求

　　更多华望MBSE产品，满足数字化研制全流程

　　选择丰富的工具与插件，搭建数字化设计平台，提升企业整体研发能力

　　系统建模工具

　　M-Design 支持航空航天、核工业、兵器、船舶等复杂装备高质量、高收益、高效率的系统方案设计与论证。

　　了解 M-Design

　　需求管理工具

　　M-Require 为需求工程领域深度研发，提供了强大灵活的工具技术，打通了需求工程的全流程与全场景。

　　了解 M-Require

　　云协同设计中台

　　M-Cowork 帮助用户实现 MBSE 在跨部门、跨角色、跨领域、跨周期的工作中有效落地，提高交付速度和交付质量。

　　了解 M-Cowork