SCADE产品体系及国内自主仿真软件ModelCoder的前世今生
SCADE产品体系
SCADE是主要产品系列。SCADE是高**性应用开发环境（Safety Critical Application Development Environment）的简称，产品涵盖了高**性嵌入式系统开发的各个内容和阶段。
收到国际软件的封锁，国内有相似的替代软件了吗？
答案是肯定的，来自清华大学康烁先生携前华为员工组成的豪华技术团队，已经收获了众多军GONG订单。采用ModelCoder在**关键领域，基于模型的软件工程或者软件开发已逐渐进入了我国的装备研制过程中。使用SimuLink或者SCADE等嵌入式软件建模工具对算法或者控制逻辑进行可视化建模，然后生成高可靠的二进制代码逐渐成为了**关键领域的主流软件开发方式。SCADE产品体系及国内自主仿真软件ModelCoder的前世今生
以下单位已经采用我们国产自主仿真软件：
|
中国航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的原理
代码生成工具是编译器的一种，是把模型语言翻译成C语言的编译器。代码生成工具广泛用于我国的航空、轨交和核电等**关键领域。保证代码生成工具的生成过程的**可靠性是**关键领域必须要面对的课题。ModelCoder采用了*严格的形式化技术，用定理证明的方式对模型到代码的生成过程进行了严格的数学证明。和同类软件SCADE的KCG相比，KCG只是采用了模型检测技术对模型本身进行了证明，而ModelCoder无疑在技术途径上更为可靠。SCADE产品体系及国内自主仿真软件ModelCoder的前世今生
SCADE其主要产品有：
1. SCADE Suite：业内**的面向高**性的集成软件开发环境，通过采用scade语言和统一的形式化语义，可实现基于模型的设计、仿真、验证、认证级代码生成以及与其他开发工具和平台的交互。SCADE Suite代码生成器可以自动生成C代码和 Ada代码。
SCADE Suite基本模块由SCADE Suite Advanced Modeler（SCADE**建模器）、SCADE Suite KCG（代码生成器），以及SCADE Suite Documentation Generator（模型设计文档生成器）组成。
2. SCADE Display：是一套灵活的面向高**性图形显示和HMIs的设计与开发环境。是新一代图形软件开发平台，基于该平台可完成原型生成、设计仿真、验证和认证级代码生成等工作。
3. SCADE LifeCycle：扩展了SCADE产品对面向高**性系统和软件的完整生命周期的管理功能。主要功能包括需求和可追溯性管理工具、符合DO-178B标准的认证计划模板以及自动化文档生成器。
4. SCADE System：基于SysML和Eclipse 标准，通过使用SCADE System来联接 SCADE Suite、SCADE Display和SCADE LifeCycle，系统工程师和软件工程师可以在同一构架下工作，从而避免重复劳动以及系统结构和软件行为定义之间的偏差。
5. SCADE ARINC 661解决方案：SCADE为航空电子设备显示系统研制单位提供了一套符合ARINC 661标准的完整解决方案。该方案基于现有的SCADE产品模块，提供基于“所见即所得”的UA页面定制、Server端widget定制以及通信代码的生成，确保运行时和定制时看到的外观一致。同时，开发人员可以在SCADE Suite中对UA端逻辑与Server端Widgets属性或事件进行绑定和映射，实现对UA端控制逻辑与Server端图形页面（DF文件）的联合仿真。SCADE产品体系及国内自主仿真软件ModelCoder的前世今生
SCADE的功能特点
SCADE是一种高**性嵌入式软件的开发环境，它具有的以下特点，能够有效地解决目前传统软件开发中存在的问题：
★ 采用形式化的设计方法，以严格的数学理论保证设计的完整性和无二义性；
★ 使用图形化建模方式，易学易用，采用“基于模型”开发方式替代传统的“基于代码”的开发方式，减少了开发人员的工作量；
★ 自动生成高质量、无需单元测试的产品级C/Ada代码，代码与模型严格一致；
★ 提供高效和可靠的仿真和测试手段，可对各个开发流程进行定量的验证。
提供的SCADE解决方案，依靠其准确的软件需求描述、模型仿真、形式化验证以及高质量的自动代码生成技术等手段对**嵌入式软件开发进行了标准化和自动化处理，能够生成70%以上的产品代码；省略大规模的单元测试；减少一半以上的验证工作；节约50%以上的开发成本；成倍地加快开发进度；可靠地保证产品的**性；并帮助我们达到DO-178B标准的要求。其他产品：微量氧分析仪,药品残氧仪,露点仪,热导气体分析仪,GE流量计,OX-1氧传感器,顶空分析仪,红外气体分析仪,高温湿度仪,西门子U23分析仪,ppb微量水分析仪,OXY.IQ氧分析仪,烟气湿度仪,燃气热值仪,Kaye温度验证仪,L&W白度,仪激光氧分析仪,压缩空气露点仪,干燥机露点仪,激光气体分析仪,便携式露点仪,便携式微量氧分析仪西门子氧电
更多SCADE产品体系及国内自主仿真软件ModelCoder的前世今生信息请直接致电埃登威上海021-55581219
