-
ꁸ 回到顶部
-
ꂅ 010-68379213-825
-
ꁗ QQ客服
-
ꀥ 微信客服
形式化建模仿真与代码生成平台SunwiseModeling
SunwiseModeling是一款集建模、仿真、代码生成、模型在线调试等功能的一体化平台。此产品面向航天嵌入式领域,未来将面向其他高安全嵌入式领域。
核心功能
数据流/控制流建模
软件试用开源软件JointJS实现图形化建模,在数据流中加入控制流的方式,以便确定存在代数环、存在孤立子图的模型模块执行顺序。
时序建模
工具提供了时序模式图-任务中断配置表-内部时序图三层结构的时序建模机制。
自动生成C代码
SMT采用规则+模板的方法生成代码,模板的定义尽量符合现有军用嵌入式软件的编码习惯,可读性强,生成代码符合GJB8114规范要求。
模型在线调试
提供了模型调试功能。该功能的特色在于模型及其生成的代码同步调试,设计师可以非常直观地确认代码与模型的一致性、正确性。
环境支持
序号 |
操作系统 |
1 |
Windows7及以上 |
2 |
深度V20.4 |
3 |
银河麒麟V10 |
竞品对比
序号 |
特性 |
SunwiseModeling |
国外SC工具 |
国外SL工具 |
1 |
连续系统求解及优化 |
依托第三方工具集成 |
不支持 |
不支持 |
2 |
模型形式化语义 |
具备 |
具备 |
不具备 |
3 |
兼容C代码 |
兼容 |
不完全兼容 |
不完全兼容 |
4 |
兼容FMU |
兼容 |
不兼容 |
兼容 |
5 |
模型/代码混成仿真 |
可仿真,可调试 |
可仿真,但不可调试 |
可仿真,但不可调试 |
6 |
生成代码的合规性 |
满足航天嵌入式C编程规范 |
未考虑航天嵌入式C编程规范 |
未考虑航天嵌入式C编程规范 |
7 |
支持与ALM集成 |
支持 |
不支持 |
部分支持 |