产品资料

SCADE软件国产替代解决方案

如果您对该产品感兴趣的话,可以 sendmsg
产品名称: SCADE软件国产替代解决方案
产品型号: Modelcoder
产品展商: 其它品牌
产品文档: 无相关文档

简单介绍

Modelcoder形式化验证的代码生成工具软件是高**性嵌入式软件的开发标准,是SCADE软件国产替代解决方案其应用领域涵盖航空、国防、轨道交通、能源和重工业。替代SCADE软件已经在中核、中广核获得应用,效果反应获得用户好评,真正的民族脊梁。SCADE软件国产替代解决方案请直接致电埃登威


SCADE软件国产替代解决方案  的详细介绍

SCADE软件国产替代解决方案

任务和**关键控制系统运行创建的软件上

Modelcoder形式化验证的代码生成工具软件是高**性嵌入式软件的开发标准,是SCADE软件国产替代解决方案其应用领域涵盖航空、国防、轨道交通、能源和重工业。替代SCADE软件已经在中核、中广核获得应用,效果反应获得用户好评,真正的民族脊梁。SCADE软件国产替代解决方案请直接致电埃登威021-55581219


嵌入式软件建模工具由国内清华大学康硕教授为核心团队加上前华为员工组成的团队经过4年时间开发而成,后于派进行商业化开发。

国产系统仿真平台软件已有客户:
– 十二大**集团的八家:中核,中航工业,航天科技,航天 科工,中国电子,中国电科,中船,商发,中核建是偏建筑工程等多家企业。是真正意义上国内**行业自主的仿真软件。


感谢以下单位选择我们的国产仿真软件:GE氧分析仪|进口氧分析仪品牌|微量氧分析仪|价格|批发|厂家|Teledyne氧分析仪|AII氧分析仪|Southland氧分析仪|AMS氧分析仪|Ntron氧分析仪|恩特龙氧分析仪|AOI氧分析仪|ADV氧分析仪|AST氧传感器|仕富梅氧分析仪|Neutonics氧分析仪|HiTech氧分析仪


中国航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发动机有限责任公司
高校合作 清华大学
武汉理工大学
重庆交通学院
新疆农业职业技术学院
中国矿业大学
华南理工大学
北京交通大学
湖南大学
合肥工业大学
中国科学技术大学
西安电子科技大学
中山大学
山东科技大学
辽宁工程技术大学
河南工业大学
天津理工大学
成都电子科技大学
中国人民解放军装甲兵工程学院
其他客户 华为
北京星地恒通
重庆慧尔科技
苏州胜利科技有限公司
天津华宁电子
大连微龙软件有限公司
广州国笔科技公司
北京国威集成技术有限公司


关于Scade软件介绍:

Ansys SCADE Suite是一个基于模型的关键嵌入式软件开发环境。SCADE Suite具有本地集成的形式化 Scade 语言,是用于关键应用的集成设计环境,涵盖需求管理、基于模型的设计、仿真、验证和可限制/认证级代码生成,能够与其他开发工具和平台进行交互操作。SCADE软件国产替代解决方案

哪里可以使用 SCADE Suite
SCADE Suite用于设计关键软件,例如飞行控制和引擎控制系统、起落架系统、自动驾驶仪、动力和燃料管理系统、驾驶舱显示器、轨道联锁系统和信号、自动列车操作、基于计算机的列车控制、紧急制动系统、超速保护、列车空位检测、核电站控制、ADAS、电池管理系统、汽车中的电子助力转向,以及许多其他航空航天、铁路、能源、汽车或工业应用。

为关键应用量身定制MBSE软件
通过简化关键控制应用设计,以及验证、可认证/认证级代码生成和文档生成的自动化,SCADE Suite大大降低了项目成本。SCADE Suite KCG 代码生成器是符合 DO-178B 标准的 A 级开发工具和符合 DO-178C 标准的 DO-330 TQL-1 工具。同时它还符合 ISO 26262:2011 标准的 ASIL D 级和 C 级认证要求,并符合 IEC 61508 2010 标准的 T3/SIL 3 认证要求以及 EN 50128:2011 标准的 T3/SIL 3/4 认证要求。SCADE软件国产替代解决方案

SCADE Suite KCG Certification Kits 提供认证机构各自标准指南所要求的以下材料:

  • 工具鉴定计划 (TQP)
  • 工具操作要求 (TOR)
  • 工具完成综述 (TAS) 或**案例 (SC)
  • 认证标准合规性分析
  • 软件安装过程 (SIP)
  • 工具配置索引 (TCI)
  • 其他标准的特定文档SCADE软件国产替代解决方案

SCADE Suite 应用程序的 DO-178B 和 DO-178C 认证计划提供了一套通用计划,支持使用 SCADE Suite开发的 A 级和 B 级应用程序的认证。其他产品:微量氧分析仪,药品残氧仪,露点仪,热导气体分析仪,GE流量计,OX-1氧传感器,顶空分析仪,红外气体分析仪,高温湿度仪,西门子U23分析仪,ppb微量水分析仪,OXY.IQ氧分析仪,烟气湿度仪,燃气热值仪,Kaye温度验证仪,L&W白度,仪激光氧分析仪,压缩空气露点仪,干燥机露点仪,激光气体分析仪,便携式露点仪,便携式微量氧分析仪西门子氧电池\oxy-12\ultramat-23代表U23氧模块价格|PID传感器 |总代理|代表处|授权代理商|办事处|分公司|全资子公司|价格|品牌|批发|选型|维修|校准

更多SCADE软件国产替代解决方案信息请直接致电埃登威上海021-55581219

产品留言
标题
联系人
联系电话
内容
验证码
点击换一张
注:1.可以使用快捷键Alt+S或Ctrl+Enter发送信息!
2.如有必要,请您留下您的详细联系方式!
联系我们

沪公网安备 31010902002456号