系统建模与仿真验证软件-

基于国际多领域统一建模规范Modelica，Sysplorer支持工业设计知识的模型化表达和模块化封装，支持多方案优选及设计参数优化，以知识可重用、系统可重构方式，为工业企业的设计知识积累与产品创新设计提供了有效的技术支撑，对及早发现产品设计缺陷、快速验证设计方案、全面优化产品性能、有效减少物理验证次数等具有重要价值。

Modelica具有以下特点：
1、支持面向对象的非因果建模，与真实物理拓扑一致，具有良好的扩展性；
2、基于方程，支持陈述式建模，无需方程推导；
3、面向对象的多领域统一物理建模，直观、易于重用和扩展，便于模型知识积累；
4、FMI接口标准支持，具有很好的开放性，实现便捷的模型交换和协同仿真。

Sysplorer主要功能包括：

系统建模环境
支持仿真结果数据的受控管理和仿真结果数据的可视化；

编译分析环境
提供Modelica模型词法语法分析环境，支持模型检查、模型方程分析、变量分析、模型方程结构分析、单位推导与检查和显示单位的定制与扩展等；

求解计算环境
提供仿真求解配置、仿真调度控制、仿真结果回收等基本功能，支持软实时仿真控制功能，支持二维动画与物理时间同步求解与显示；内置17种积分算法的算法包，并支持算法包扩展；

实时代码生成
提供实时代码生成功能，通过模型编译、模型推导、符号简化生成模型求解序，进而生成模型的标准C代码，针对VxWorks、Linux、NI VeriStand、ETAS等实时环境可生成实时代码；

后处理环境
提供丰富实用的后处理功能，支持仿真实例管理、参数编辑、结果比较、仿真数据监控功能、结果的实时和离线曲线显示、曲线双Y轴显示，常用曲线运算、数据导入导出等功能；

扩展接口
提供丰富的扩展接口，支持对外部C/Fortran 函数的嵌入与调用；提供Matlab/Simulink、FMI、三维CAD等接口，支持异构模型的集成与仿真；提供命令与脚本功能，支持批量处理；提供丰富的API接口，支持插件开发；

硬件在环仿真

MWorks.Sysplorer 提供硬件在环仿真功能，通过内嵌通讯模块的实时信号采集与输出，支持软件模型与实物设备的联合仿真。通过输出模型仿真C 代码到dSPACE 、xPC 等硬件设备，支持实时硬件在环仿真。

良好的可扩展性

MWorks.Sysplorer 支持对外部C/Fortran 函数和外部应用的嵌入与调用，提供了Matlab/Simulink 的接口，可以将模型输出为S-Function 形式，提供命令与脚本功能，支持定制开发、批量处理与MWorks.Sysplorer 外部调用。