主页>产品介绍>经DO-178B认证的代码生成器

DO-178B - 经认证的代码生成器

SCADE Suite KCG－经 DO-178B认证的代码生成器

经验证的SCADE/KCG代码生成器可以生成符合高安全性嵌入式软件所有特性的C代码

安全控制结构

  • 大多采用线性控制顺序
  • 无循环，递归和跳转
  • 可预测的执行时间

安全数据结构

  • 无动态变量
  • 全部静态内存分配
  • 保证数据的完整性

生成C源码

KCG生成的C源码是通过验证的，并且保持了和相应的SCADE模型中的可追踪性。

使用SCADE Suite时的开发流程

我们按照系统分配给软件的需求，使用我们的技术和方法学创建明确、无歧义的软件需求，它是系统设计员和软件构架师之间有了一道桥梁。正是SCADE成为了这两个层次之间的桥梁，因此SCADE设计也可以被当作详细设计完成的标志。

DO-178B waterfall flow with SCADE

传统的瀑布式模型开发中各个阶段间的交互和迭代循环

KCG适用于最新的平台

  • Windows XP Service Pack 1 (English version)
  • UNIX Solaris 2.8

KCG的全套资质认证标准

Data DO-178B & FAA (N8810.91) requirement SCADE Suite™ KCG package DO-178B reference Delivered to Customer
Tool Qualification Plan Submit Tool Qualification Plan of KCG 12.2.3.a(1), 12.2.3.1 & 12.2.4 YES
Tool Operational Requirements Available
  • Version Content
  • Software requirements data of KCG, S2L and L2C
  • Reference Manual of SCADE & LUSTRE
 12.2.3.c(2) & 12.2.3.2 YES
Tool Accomplishment Summary Submit Tool Accomplishment Summary of KCG 12.2.3.c(3) & 12.2.4 YES
Tool Verification Records
(for example test cases, procedures and results)		 Available Accessible at Esterel Technologies premises 12.2.3
Tool Qualification Development data
(for example, requirements, design and code)		 Available Accessible at Esterel Technologies premises 12.2.3
Software Configuration Index Submit Software Configuration Index of KCG 9.3 YES

DO-178B认证包内容

© 1999–2008 Esterel Technologies, Inc. All rights reserved.