SCADESuite嵌入式软件基于模型的开发与国产替代软件区别
SCADE Suite®产品是针对高**性嵌入式软件的基于模型的开发环境
SCADE Suite是高**性嵌入式软件的开发标准，其应用领域涵盖航空、国防、轨道交通、能源和重工业。专为*高等级的质量和**需求而设计随着SCADE
语言和统一的形式化符号的**集成，SCADE Suite为高**应用工具提供了从需求管理，基于模型设计，模拟仿真，认证，有效代码生成，到和其他工具、平台协作开发的****的集成设计环境。SCADESuite嵌入式软件基于模型的开发与国产替代软件区别
那么国内有替代SCADE Suite产品的解决方案吗？
答案是肯定的，埃登威旗下以清华大学康硕教授组成的团队开发出了形式化验证的代码生成工具ModelCoder，目前已经在中核、中广核等多家**单位获得使用，是国内目前此领域唯yi替代解决方案，自主仿真软件的品牌。在**关键领域，基于模型的软件工程或者软件开发已逐渐进入了我国的装备研制过程中。使用SimuLink或者SCADE等嵌入式软件建模工具对算法或者控制逻辑进行可视化建模，然后生成高可靠的二进制代码逐渐成为了**关键领域的主流软件开发方式。由我司自主开发的ModelCoder是一款支持多种嵌入式系统建模并可以自动生成高**可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型，其从模型生成代码的过程经过了形式化验证，保证生成过程的正确无误性，能够用于飞机的飞控，飞机的航电，核电的DCS等多个**关键领域的嵌入式软件的设计和开发。SCADESuite嵌入式软件基于模型的开发与国产替代软件区别
SCADE已通过了下面的各项国际**标准：
Ø通过了（军/用）和航空航天的DO-178B认证，达到A级水平。
Ø通过了重工业和能源TÜV的IEC 61508认证，达到SIL 3。
Ø通过了轨道交通TÜV的EN 50128认证，达到SIL 3/4。
Ø通过了与核能兼容的IEC 60880认证。
不但提高了工作效率，还改善了产品质量
SCADE Suite大幅度减少了高**嵌入式软件项目的成本。
SCADE 使用者可减少花费在报告编写和验证上的成本:
Ø每人每天平均可以完成10行可执行代码的开发（包括验证），而手工开发，每人每天只能完成5行代码
Ø软件认证成本减少50％
Ø编码，走查和测试代码的成本减少70％到90％
Ø软件更新周期缩短65％到75％
Ø自动生成模型级测试和覆盖率分析
SCADESuite嵌入式软件基于模型的开发与国产替代软件区别
Ø消除代码错误和省略了低层测试
Ø在整个生命周期实现快速**的设计变更，同时减少70％到90％的测试成本
**构造
Ø正确的设计建模，图形化的调试和高效仿真
Ø设计验证™ - 形式化验证
Ø生成**、高效的小型代码
Ø项目管理和文档生成其他产品：微量氧分析仪,药品残氧仪,露点仪,热导气体分析仪,GE流量计,OX-1氧传感器,顶空分析仪,红外气体分析仪,高温湿度仪,西门子U23分析仪,ppb微量水分析仪,OXY.IQ氧分析仪,烟气湿度仪,燃气热值仪,Kaye温度验证仪,L&W白度,仪激光氧分析仪,压缩空气露点仪,干燥机露点仪,激光气体分析仪,便携式露点仪,便携式微量氧分析仪西门子氧电
更多SCADESuite嵌入式软件基于模型的开发与国产替代软件区别信息请直接致电埃登威上海021-55581219
