ModelCoder国产化解决方案已逐步代替国外软件Matlab/Simulink

ModelCoder介绍

在安全关键领域,基于模型的软件工程或者软件开发已逐渐进入了我国的装备研制过程中。使用Simulink或者SCADE等嵌入式软件建模工具对算法或者控制逻辑进行可视化建模,然后生成高可靠的二进制代码逐渐成为了安全关键领域的主流开发方式。

ModelCoder是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型,其从模型生成代码的过程经过了形式化验证,保证生成过程的正确无误性,能够用飞控,航电,核电DCS等多个安全关键领域的嵌入式软件的设计和开发。

image

功能

  1. 模型搭建–以拖拽方式快速构建数据流模型
  2. 生成C代码–将同步数据流语言经过形式化方法生成可靠的C代码
  3. 仿真测试–将生成的C代码通过嵌入式编译器生成不同架构的嵌入式程序,测试运行结果的正确性

优势

  1. 代码生成全过程经过形式化验证,安全可靠
  2. 图形化方式建模,更直观
  3. 国产处理器和国产操作系统的支持

image

建模规则

  1. 特定的运算符用来支持特定的数据结构,例如Map用来支持对Array的操作。
  2. 控制模块的复杂度,尽量减少子模块的调用,生成的代码每调用一次函数,就会产生函数传参的开销,此时如果上层有较多循环,则传参的代价较高。
  3. 检查重复模块,尽量归并重复项,形成基础库。
  4. 所用模型的输入输出端口的类型与数量必须符合该模型要求。
  5. 对门电路,建模前应先优化,可降低模型的复杂度。
  6. 控制局部变量数量,减少不必要的局部变量,以防产生额外的堆栈产生和销毁的开销。

本文标题:ModelCoder国产化解决方案已逐步代替国外软件Matlab/Simulink

文本链接:http://www.digiproto.com

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/566700.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

两用物项许可证办理流程_一指通 | 出口许可证办理流程

什么是出口许可证?出口许可证,是指商务部授权发证机关依法对实行数量限制出口货物签发的准予出口的许可证件。出口许可证监管证件代码为“4”。加工贸易出口“出口许可证”管理的货物,监管证件代码为“x”。边境小额贸易出口“出口许可证”管…

SkyEye实现工业安全关键领域基础软件国产替代

随着科技的发展,系统工程的设计体量逐渐庞大起来,尤其是对于轨道交通、航空航天、核电站等安全关键领域中,如何在复杂度逐年变大的同时保证其安全性和可靠性,是近年来各大公司需要研究的课题。最近比较火热的基于模型的系统工程&a…

2寸的照片长宽各是多少_贵州公务员考试照片尺寸要求是多少

中公教育在贵州公务员考试中对于照片要求与2寸照片的林小差不多,简单来说就是长宽最小像素为160px和130px、最佳效果为260px*320px;即使考生们已有照片未达到公务员照片的相关要求,考生们可以通过图片处理系统进行等比例裁剪达到照片尺寸要求…

自主可控的全数字实时仿真软件SkyEye支持PowerPC指令级仿真

随着科技的发展,系统工程的设计体量逐渐庞大起来,尤其是对于轨道交通、航空航天、核电站等安全关键领域中,如何在复杂度逐年变大的同时保证其安全性和可靠性,是近年来各大公司需要研究的课题。最近比较火热的基于模型的系统工程&a…

opencv 叠加两张图_OpenCV基础篇之图片叠加

OpenCV基础篇之图片叠加程序及分析/** FileName : blend.cpp* Author : xiahouzuoxin 163.com* Version : v1.0* Date : Mon 28 Jul 2014 08:47:59 PM CST* Brief :** Copyright (C) MICL,USTB*/#include #include #include using namespace std;using namespace cv;in…

中国自主可控的全数字实时仿真软件SkyEye支持龙芯CPU指令级仿真

传统的系统开发过程,都是由工程师根据项目需求书来编写代码完成系统的开发,但随着功能的完善和版本迭代,系统中庞大的代码量很难确保正确无误,给后期测试和仿真带来了很大的压力和成本,在航空航天、卫星系统、核电等安…

进入实现类快捷键_实测30个自带快捷键,原来键盘也这么好用!

文 / 一周进步 水韬推荐过很多软件快捷键的文章,每次推荐大家都会惊叹,原来自以为熟练掌握的软件,还可以有这么多便捷的操作。活到老,学到老。软件操作是如此,其实在我们使用最多的Windows系统里,在键盘里…

SkyEye——汽车电子系统仿真测试工具

随着汽车电子的发展,电子控制单元(ECU)大量应用到现代汽车上,车内网络变的越来越复杂。 在新车型的研发阶段使用专业的仿真工具SkyEye及其配套产品进行车内芯片实时仿真测试,验证车内电子系统的可靠行和安全性成为必要…

怎么做笔记标签贴_小红书笔记互动到底该怎么做?

小红书很多博主再发完笔记后,喜欢到一些互赞群里去跟别人相互关注点赞收藏评论。这个就是我今天要和大家说的。小红书笔记在一些互赞藏群里自己上关键词车,这样是会被判违规的,什么违规呢?那就是人工干预后台数据。小红书有这样一…

全数字实时仿真平台SkyEye与SystemC集成进行时序仿真

SkyEye与SystemC集成进行时序仿真 仿真过程是正确实现设计的关键环节,用来验证设计者的设计思想是否正确,及在设计实现过程中各种分布参数引入后,其设计的功能是否依然正确无误。时序仿真使用布局布线后器件给出的模块和连线的延时信息&…

双目立体视觉建立深度图_双目立体视觉系统(答辩).ppt

双目立体视觉系统(答辩)双目立体视觉系统 项目组成员:何健、晏尧、艾晨 指导老师:蒲秀娟 2011年9月21日 项目答辩 重庆大学第二届科研训练项目 汇报提纲 研究目的和意义 1 系统总体设计硬件选择 2 图像算法和显示流程 3 验证 4 心得 5 1 研究目的和意义 …

全数字实时仿真平台SkyEye和同步数据流语义与翻译正确性验证

全数字实时仿真平台 SkyEye,中文全称天目全数字实时仿真软件,应用软件仿真技术,逼真地模拟出被测软件的物理环境。用图形化方式构建虚拟目标系统,有效降低了硬件工程师和软件工程师之间的沟通成本,软件工程师可以不依…

访问不了_同事的电脑无法访问,共享打印机连接不上,问题都在这

作为一个it服务工作者,发现大家平时遇到最多的问题就是公司内部同事的电脑访问不了或者共享打印机打印不了等等。所以今天给大家分享一下引起这些问题的原因所在和解决办法。其实我们只要掌握了核心的几个关键点,对症下药都是比较容易解决的。常见的一些…

全数字实时仿真平台SkyEye实现了与虚拟FPGA协同仿真

1. 可与虚拟FPGA的协同仿真 全数字实时仿真平台SkyEye实现了与虚拟FPGA的协同仿真,可以支持UVM的验证方法。虚拟的FPGA通过协同仿真总线与SkyEye相连,用户可以自主的控制仿真运行速度,提高较大规模嵌入式系统的测试效率。SkyEye本身是多架构…

python读取两个csv文件后比较_python – 读取两个csv文件并比较每一行.如果行匹配打印两行,如果不相似则打印无效...

import csvf1 open("file1.csv")f2 open("file2.csv")csv_f1 csv.reader(f1)csv_f2 csv.reader(f2)for row1 in csv_f1:for row2 in csv_f2:if row1 row2:print row1[0], row2[0]else:print row1[0], "Invalid"这个程序没有打印出row1,row2…

SkyEye建模之方法介绍篇

SkyEye建模框架介绍 SkyEye模型与硬件开发板,图1-1-1是一块普通的硬件开发板,上面有一些比较常见的设备,包括复杂的CPU、USB口、网口、SD卡控制器等,以及简单的蜂鸣器,键盘等设备。我们试想这样一个问题,真…

加密 lua_三、Lua相关知识

一、lua语言基础1、metatable2、pairs、ipairs、table.sort3、table的内存(数组结构和哈希结构)4、字符串缓存(字符串常量是共享的。这个5.3版本有调整,40字节一下的短字符串才是共享的,长字符串还是保持独立内存&…

全数字实时仿真平台SkyEye目标码覆盖率关键技术

1. 研究背景 1.1零插桩目标码覆盖率统计技术 随着武器装备的复杂度的大幅度增加,运行在装备上的嵌入式系统也越来越复杂,功能迭代越来越多,代码中就可能就会存在部分无用代码,或者在执行过程中无法测试覆盖的分支,这…

MCDC — 修正判定条件覆盖

什么是MCDC? 答:修正判定条件覆盖-----程序中的每个输入和输出都至少被调用一次,在程序中的每一个条件必须产生所有可能的输出结果至少一次,并且每一个判定中的每一个条件必须能够独立影响一个判定的输出,即在其他条件…

python terminal调试_python执行命令行调试工具pdb

调试pdbpdb是基于命令行的调试工具,非常类似gnu的gdb(调试c/c)。命令简写命令作用breakb设置断点(用法,b :在第数字行设置断点。.........................................................)b 直接回车,查看所有断点continuec直接…