SCADE 模型测试工具与国产替代软件情况介绍
SCADE仿真软件
产品规格及主要技术指标:
高**性嵌入式软件开发标准环境,提供从需求管理,基于模型的设计,仿真,代码生成等集成设计环境,以前总说国内无类似软件，我们在此纠正一点，这是错误的，国内埃登威旗下的迪捷软件形式化验证的代码生成工具ModelCoder已经获得了中国**、核电、大学的订单，我们应该为此感到骄傲！
ModelCoder的介绍
在**关键领域，基于模型的软件工程或者软件开发已逐渐进入了我国的装备研制过程中。使用SimuLink或者SCADE等嵌入式软件建模工具对算法或者控制逻辑进行可视化建模，然后生成高可靠的二进制代码逐渐成为了**关键领域的主流软件开发方式。由我司自主开发的ModelCoder是一款支持多种嵌入式系统建模并可以自动生成高**可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型，其从模型生成代码的过程经过了形式化验证，保证生成过程的正确无误性，能够用于飞机的飞控，飞机的航电，核电的DCS等多个**关键领域的嵌入式软件的设计和开发。SCADE 模型测试工具与国产替代软件情况介绍
团队介绍：
创始人：
康烁，2005年毕业于清华大学软件学院，获得硕士学位，曾在美国ADI，华为公司等担任**工程师、主任工程师等职务。
康烁拥有超过17年的系统软件科研和工程经验，其中包含操作系统、编译器、虚拟机、关键领域软件**等领域，主持和参与了多个国内外开源项目，且在实际工程中均得到广泛应用。其中，SkyEye全数字仿真产品应用于国内航空航天领域的众多型号的研发测试领域；符号执行软件android_s2e被华为以及国内**单位应用于软件测试方面；基于LLVM的安卓虚拟机入选了2015年《LLVM开发人大会》的项目展示环节；参与的L2C项目被国内核电单位应用于相关设备中。
从2006年起，康烁连续十年参与筹办了国内*大的linux内核会议（CLK），并且也是国内开源软件工具（OSDT,前身为HelloGcc）的发起人之一。目前主要研究方向是用于**关键领域的各种国产自主知识产权的软件工具。
团队成员：
25名前华为技术工程师、清华大学研究生博士生团队。
目前国内客户：
|
中国航空工业集团有限公司
|
成都飞机设计研究所
西安航空计算技术研究所
西安自动飞行控制研究所
洛阳电光设备研究所
|
|
中国航天科技集团有限公司
|
四川航天技术研究院
上海航天技术研究院
上海航天控制技术研究所
上海卫星工程研究所
|
|
中国航天科工集团有限公司
|
航天二院
航天三江集团
|
|
中国船舶工业集团有限公司
|
中国船舶工业系统工程研究院
|
|
中国电子科技集团有限公司
|
第十研究所
第五十三研究所
|
|
中国电子信息产业集团有限公司
|
武汉中原电子集团有限公司
|
|
中国核工业集团有限公司
|
中国核动力研究设计院
广东核电集团
|
|
中国航空发动机集团有限公司
|
中国航发商用航空发动机有限责任公司
|
|
高校合作
|
清华大学
武汉理工大学
重庆交通学院
新疆农业职业技术学院
中国矿业大学
华南理工大学
北京交通大学
湖南大学
合肥工业大学
中国科学技术大学
西安电子科技大学
中山大学
山东科技大学
辽宁工程技术大学
河南工业大学
天津理工大学
成都电子科技大学
中国人民解放军装甲兵工程学院
|
|
其他客户
|
华为
北京星地恒通
重庆慧尔科技
苏州胜利科技有限公司
天津华宁电子
大连微龙软件有限公司
广州国笔科技公司
北京国威集成技术有限公司
|
SCADE 模型测试工具 (ASMT)
Esteral公司的SCADE模型开发工具套件中包括SCADE Suite和SCADE Display模块，是机载软件研制过程中常用的模型开发工具。SCADE模型开发工具配套提供的仿真调试环境，可以胜任模型开发过程中的调试工作。然而，在进行模型测试时，即使购买了SCADE TEST套件，也通常难以满足用户的所有测试需求（如规范化、测试化、易用性、高可读性等）。SCADE 模型测试工具与国产替代软件情况介绍
爱韦讯已准备好了ASMT—SCADE模型测试工具，提供以下功能，帮助您解决SCADE模型测试过程的种种难题：
★ 提供一套完整的SCADE行为+图形模型的测试解决方案和工作流程；
★ 轻量级，无需复杂的支持环境和专用环境，降低项目成本；
★ 简单易学的测试用例设计方法，无需掌握任何开发语言或脚本语言；
★ 自动生成测试规程；
★ 测试结果自动包含验证点截图；
★ 支持行为模型输入测试覆盖分析；
★ 支持OpenGL显示模型的Object图形测试覆盖分析；
★ 支持A661显示模型的Widget图形测试覆盖分析。
▌ASMT功能概述
ASMT能够在PC机（Windows系统）上针对SCADE模型执行自动化测试。该工具能够为用户提供图形化的操作界面，其功能包括：
★ 测试驱动生成
★ 测试执行
★ 模型调试
★ 测试用例导入
★ 测试结果分析和查看
★ MTC测试辅助
▌ASMT全套解决方案SCADE 模型测试工具与国产替代软件情况介绍
★ 规范的测试用例模板：提供简单、易读、易编写的测试用例开发环境；
★ 测试脚本生成模块：能自动将符合测试用例模板规范的测试用例转换为测试脚本；
★ SCADE模型插装模块：支持以下三种SCADE模型的测试插装；
— SCADE Suite行为模型
— SCADE Suite行为模型+SCADE Display OpenGL显示模型
— SCADE Suite行为模型+SCADE Display A661显示模型
★ 仿真测试模块：执行测试脚本和插装后的SCADE模型程序，收集测试结果和覆盖率数据；
★ 测试调试模块：支持用户逐步调试测试脚本，通过选择测试模型的变量、特定操作函数，观察模型的实际运
行状态；
★ 图形化用户界面：为完整的测试流程提供易用的图形化界面。其他产品：微量氧分析仪,药品残氧仪,露点仪,热导气体分析仪,GE流量计,OX-1氧传感器,顶空分析仪,红外气体分析仪,高温湿度仪,西门子U23分析仪,ppb微量水分析仪,OXY.IQ氧分析仪,烟气湿度仪,燃气热值仪,Kaye温度验证仪,L&W白度,仪激光氧分析仪,压缩空气露点仪,干燥机露点仪,激光气体分析仪,便携式露点仪,便携式微量氧分析仪西门子氧电
更多SCADE 模型测试工具与国产替代软件情况介绍信息请直接致电埃登威上海021-55581219
