Simulink国产替代仿真软件

点击看大图

如果您对该产品感兴趣的话,可以

产品名称: Simulink国产替代仿真软件

产品型号: Matlab国产替代软件

产品展商: 其它品牌

产品文档: 无相关文档

简单介绍

Simulink国产替代仿真软件嵌入式软件建模工具在关键领域，基于模型的软件工程或者软件开发已逐渐进入了我国的装备研制过程中。使用SimuLink或者SCADE等嵌入式软件建模工具对算法或者控制逻辑进行可视化建模，然后生成高可靠的二进制代码逐渐成为了关键领域的主流软件开发方式。由我司自主开发的ModelCoder是一款支持多种嵌入式系统建模并可以自动生成高可靠的C代码的软件设计和开发工具。Simulink国产替代仿真软件ModelCoder支持同步数据流以及状态机等嵌入式模型，其从模型生成代码的过程经过了形式化验证，保证生成过程的正确无误性，能够用于飞机的飞控，飞机的航电，核电的DCS等多个关键领域的嵌入式软件的设计和开发。

Simulink国产替代仿真软件 的详细介绍

Simulink国产替代仿真软件嵌入式软件建模工具

MATLAB 的重要性无需多说，一些功能甚至很难找到合适的替代品。本文推荐一些开源的替代工具，希望对你有所帮助。另外，也欢迎大家在留言区推荐你知道的替代工具。

开源软件是指开放源代码的软件，即代码创作者在遵循相关开源协议的基础上，将自己开发的软件源代码向全世界公开，允许其他开发人进行自主学习、测试、修改、二次开发和传播等，以协同方式改善软件产品的质量和优化软件功能等。

开源软件在操作系统、数据库、中间件等都有许多流行的软件产品，如 Linux 电脑操作系统、MySQL 和 PostgreSQL 开源数据库等。

Simulink国产替代仿真软件嵌入式软件建模工具由国内清华大学康硕老师为核心团队加上前华为员工组成的团队经过4年时间开发而成，后于派进行商业化开发。

国产系统仿真平台软件已有客户：
– 十二大军G集团的八家:中核，中航工业，航天科技，航天科工，中国电子，中国电科，中船，商发，中核建是偏建筑工程等多家企业。是真正意义上国内军G行业自主的仿真软件。

形式化验证的代码生成工具ModelCoder Simulink国产替代仿真软件

ModelCoder的介绍

在**关键领域，基于模型的软件工程或者软件开发已逐渐进入了我国的装备研制过程中。使用SimuLink或者SCADE等嵌入式软件建模工具对算法或者控制逻辑进行可视化建模，然后生成高可靠的二进制代码逐渐成为了**关键领域的主流软件开发方式。由我司自主开发的ModelCoder是一款支持多种嵌入式系统建模并可以自动生成高**可靠的C代码的软件设计和开发工具。Simulink国产替代仿真软件ModelCoder支持同步数据流以及状态机等嵌入式模型，其从模型生成代码的过程经过了形式化验证，保证生成过程的正确无误性，能够用于飞机的飞控，飞机的航电，核电的DCS等多个**关键领域的嵌入式软件的设计和开发。

ModelCoder的原理

代码生成工具是编译器的一种，是把模型语言翻译成C语言的编译器。代码生成工具广泛用于我国的航空、轨交和核电等**关键领域。保证代码生成工具的生成过程的**可靠性是**关键领域必须要面对的课题。ModelCoder采用了*严格的形式化技术，用定理证明的方式对模型到代码的生成过程进行了严格的数学证明。和同类软件SCADE的KCG相比，KCG只是采用了模型检测技术对模型本身进行了证明，而ModelCoder无疑在技术途径上更为可靠。

Simulink国产替代仿真软件ModelCoder的翻译过程如下：

ModelCoder翻译流程简图

ModelCoder的功能

ModelCoder的功能分为三个部分：1）软件建模的图形化前端；2）模型的仿真运行测试模块；3）C代码的自动生成模块。

ModelCoder的图形化前段Simulink国产替代仿真软件

ModelCoder的仿真运行测试模块

更多Simulink国产替代仿真软件信息请直接致电埃登威上海021-55581219

产品留言

标题

联系人

联系电话

内容

验证码

点击换一张

注：1.可以使用快捷键Alt+S或Ctrl+Enter发送信息!
2.如有必要,请您留下您的详细联系方式!