+86-1478258894512522120
葩星12522120 淘宝旺旺passiontechinc

pt@ptinfous.com

+86-14782588945

  加载中,请稍候...
浏览历史

 


SCADE_KCG(代码生成器)

关键词: SCADE,KCG(代码生成器)

简介:SCADE KCG(代码生成器)综上所述,利用SCADE可以根据需求建立模型、然后通过静态分析保证模型的完整性和一致性、再可以通过模拟仿真保证模型的正确性、最后还可以通过形式验证保证模型的安全性。通过这一系列的操作以后,我们得到了一个完美的模型,已经在开发的早期,也就是在设计阶段就已经...
品 牌
产 地
型 号 PXF0116
折 扣
咨询专家:

产品说明:
SCADE KCG(代码生成器)
综上所述,利用SCADE可以根据需求建立模型、然后通过静态分析保证模型的完整性和一致性、再可以通过模拟仿真保证模型的正确性、最后还可以通过形式验证保证模型的安全性。通过这一系列的操作以后,我们得到了一个完美的模型,已经在开发的早期,也就是在设计阶段就已经把可能的错误都已经排除掉了。
SCADE的代码生成器是指以这个完美的模型为基础,生成出完美的代码。它生成的代码满足一系列的安全性特征,具有良好的可读性和友好的接口,和手写代码具有基本相当的大小和效率。
和其它的许多代码生成器相比,SCADE代码生成有两个显著的特点。第一,SCADE所生成的代码是完全面向工程的产品代码,可以直接嵌入到产品中去而不需要做任何修改。第二,SCADE基于严格的数据理论,它保证代码运行的结果和仿真的结果完全一致。

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

                              

参数资料:
SCADE_KCG(代码生成器)SCADE,KCG(代码生成器)
该文章系原厂商文章翻译,不通之处请参考原文
价格列表: SCADE_KCG(代码生成器)SCADE,KCG(代码生成器)
葩星订货号 订货号 产品名称 报价 品牌  
相关产品: SCADE_KCG(代码生成器)SCADE,KCG(代码生成器)

  咨询历史: