企业资质

上海葩星信息科技有限公司

普通会员15
|
企业等级:普通会员
经营模式:
所在地区:上海 上海
联系卖家:
手机号码:
企业地址:
本企业已通过工商资料核验!
企业概况

"“葩星科技”帮助你建设“数字化集成实验测试台”葩星科技成立于2003年。公司主业方向:实时应用,控制系统应用等相关的仿真测试试验台架,和相关的咨询开发项目。公司可以完成信号调理,信号通信接口,硬件驱动,信息网络系统,机械台架等各方面的设计和开发以及集成。公司的主要产品方向:(1)实时仿真......

SCADE KCG(代码生成器

产品编号:3930369                    更新时间:2020-08-16
价格: 来电议定

上海葩星信息科技有限公司

联系人名片:

联系时务必告知是在"产品网"看到的

产品详情

综上所述,利用SCADE可以根据需求建立模型、然后通过静态分析保证模型的完整性和一致性、再可以通过模拟仿真保证模型的正确性、***后还可以通过形式验证保证模型的安全性。通过这一系列的操作以后,我们得到了一个***的模型,已经在开发的早期,也就是在设计阶段就已经把可能的错误都已经排除掉了。

SCADE的代码生成器是指以这个***的模型为基础,生成出***的代码。它生成的代码满足一系列的安全性特征,具有良好的可读性和友好的接口,和手写代码具有基本相当的大小和效率。

和其它的许多代码生成器相比,SCADE代码生成有两个显著的特点。***,SCADE

所生成的代码是完***向工程的产品代码,可以直接嵌入到产品中去而不需要做任何修改。第二,SCADE基于严格的数据理论,它保证代码运行的结果和仿真的结果完全一致。

KCG是目前世界上***通过了DO-178B这一严格标准的***质量认证的代码生成器。它也是***通过了IEC61508标准质量认证的代码生成器,支持MISRA等标准。它的使用不仅大大节省了编码工作,而且生成的代码的无需单元测试,很大程度地节省了验证工作和验证时间。基于SCADE KCG的开发流程已被相关认证机构广泛接受,在空客、欧洲直升机、达索等众多用户的多个项目得到大量应用,并通过了DO-178B认证。KCG还是***通过了IEC 61508认证的代码生成器。

上海葩星信息科技有限公司电话:传真:联系人:

地址:主营产品:实时仿真测试台架

Copyright © 2025 版权所有: 产品网店铺主体:上海葩星信息科技有限公司

免责声明:以上所展示的信息由企业自行提供,内容的真实性、准确性和合法性由发布企业负责。产品网对此不承担任何保证责任。