哈工大被禁用Matlab后国产可替代软件出现ModelCoder
近日，美国商务部将哈工大、北航等33家机构纳入实体清单，也就是说，凡是在实体清单以内的公司以及机构，如果没有获得美国政府的具体批准，将无法使用含有美国技术的产品。此举曾引发全民热议。
埃登威旗下这家低调的公司已经默默耕耘数十年，在**市场崭露头角，豪华的创业团队，下面做一个简单介绍，
创始人：
康烁，创始人，2005年毕业于清华大学软件学院，获得硕士学位，曾在美国ADI，华为公司等担任**工程师、主任工程师等职务。
康烁拥有超过17年的系统软件科研和工程经验，其中包含操作系统、编译器、虚拟机、关键领域软件**等领域，主持和参与了多个国内外开源项目，且在实际工程中均得到广泛应用。其中，SkyEye全数字仿真产品应用于国内航空航天领域的众多型号的研发测试领域；符号执行软件android_s2e被华为以及国内**单位应用于软件测试方面；基于LLVM的安卓虚拟机入选了2015年《LLVM开发人大会》的项目展示环节；参与的L2C项目被国内核电单位应用于相关设备中。哈工大被禁用Matlab后国产可替代软件出现ModelCoder
从2006年起，康烁连续十年参与筹办了国内*大的linux内核会议（CLK），并且也是国内开源软件工具（OSDT,前身为HelloGcc）的发起人之一。目前主要研究方向是用于**关键领域的各种国产自主知识产权的软件工具。
团队成员：
25名前华为技术工程师、清华大学研究生博士生团队。
目前国内客户：
|
中国航K工业集团有限公司
|
成都F机设计研究所
西安航K计算技术研究所
西安自动F行控制研究所
洛阳电光S备研究所
|
|
中国航T科技集团有限公司
|
四川航T技术研究院
上海航T技术研究院
上海航T控制技术研究所
上海卫X工程研究所
|
|
中国航T科工集团有限公司
|
航天X院
航天X江集团
|
|
中国船B工业集团有限公司
|
中国船B工业系统工程研究院
|
|
中国电Z科技集团有限公司
|
第X研究所
第5XX研究所
|
|
中国电Z信息产业集团有限公司
|
武汉中原D子集团有限公司
|
|
中国核工Y集团有限公司
|
中国He动力研究设计院
广东H电集团
|
|
中国航K发动机集团有限公司
|
中国航F商用航K发动机有限责任公司
|
|
高校合作
|
清华大学
武汉理工大学
重庆交通学院
新疆农业职业技术学院
中国矿业大学
华南理工大学
北京交通大学
湖南大学
合肥工业大学
中国科学技术大学
西安电子科技大学
中山大学
山东科技大学
辽宁工程技术大学
河南工业大学
天津理工大学
成都电子科技大学
中国人民解放军装甲兵工程学院
|
|
其他客户
|
华为
北京星地恒通
重庆慧尔科技
苏州胜利科技有限公司
天津华宁电子
大连微龙软件有限公司
广州国笔科技公司
北京国威集成技术有限公司
|
|
|
|
|
ModelCoder的介绍
在**关键领域，基于模型的软件工程或者软件开发已逐渐进入了我国的装备研制过程中。使用SimuLink或者SCADE等嵌入式软件建模工具对算法或者控制逻辑进行可视化建模，然后生成高可靠的二进制代码逐渐成为了**关键领域的主流软件开发方式。由我司自主开发的ModelCoder是一款支持多种嵌入式系统建模并可以自动生成高**可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型，其从模型生成代码的过程经过了形式化验证，保证生成过程的正确无误性，能够用于飞机的飞控，飞机的航电，核电的DCS等多个**关键领域的嵌入式软件的设计和开发。哈工大被禁用Matlab后国产可替代软件出现ModelCoder，其他产品：微量氧分析仪,药品残氧仪,露点仪,热导气体分析仪,GE流量计,OX-1氧传感器,顶空分析仪,红外气体分析仪,高温湿度仪,西门子U23分析仪,ppb微量水分析仪,OXY.IQ氧分析仪,烟气湿度仪,燃气热值仪,Kaye温度验证仪,L&W白度,仪激光氧分析仪,压缩空气露点仪,干燥机露点仪,激光气体分析仪,便携式露点仪,便携式微量氧分析仪西门子氧电池\oxy-12\ultramat-23代表U23氧模块价格|PID传感器 |总代理|代表处|授权代理商|办事处|分公司|全资子公司|价格|品牌|批发|选型|维修|校准
ModelCoder的原理
代码生成工具是编译器的一种，是把模型语言翻译成C语言的编译器。代码生成工具广泛用于我国的航空、轨交和核电等**关键领域。保证代码生成工具的生成过程的**可靠性是**关键领域必须要面对的课题。ModelCoder采用了*严格的形式化技术，用定理证明的方式对模型到代码的生成过程进行了严格的数学证明。和同类软件SCADE的KCG相比，KCG只是采用了模型检测技术对模型本身进行了证明，而ModelCoder无疑在技术途径上更为可靠。
ModelCoder的翻译过程如下：
ModelCoder翻译流程简图
ModelCoder的功能
ModelCoder的功能分为三个部分：1）软件建模的图形化前端；2）模型的仿真运行测试模块；3）C代码的自动生成模块。哈工大被禁用Matlab后国产可替代软件出现ModelCoder
ModelCoder的图形化前段
ModelCoder的仿真运行测试模块
更多哈工大被禁用Matlab后国产可替代软件出现ModelCoder信息请直接致电埃登威上海021-55581219
