Esterel Technologies>Products>SCADE Suite>SCADE Suite KCG™ 代码生成器>EN 50128 - －代码生成器

EN 50128－经认证的代码生成

SCADE Suite KCG™ - EN 50128代码生成器

可视的SCADE Suite KCG代码生成器所创建的C代码具有高安全性嵌入式软件的一切特征。

安全控制结构

• 线性控制序列
• 静态循环，无递归，无跳转
• 可预测执行时间

安全数据结构

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

生成C代码

由KCG生成的C代码是可验证的，并且完整地追溯对应的SCADE模型。

使用SCADE Suite的开发流程

我们有关DO-178B的技术和方法学以软件部分的系统需求为基础，由此得到形式化的软件规格说明（软件需求）。这样就在系统设计师和软件设计师之间形成了“关联”。这个“关联”可以使SCADE变成这两者之间联系的纽带。

可为SCADE Suite® 生成代码自定义RTOS适配器

SCADE Suite KCG™代码生成器生成了基于ANSI C优化的、独立于平台的、可读的、可追踪的代码。

可执行代码需要非专用的运行库或者处理器库。代码可以在任何目标微处理器上运行，无论其是否包含RTOS。SCADE Suite直接针对Integrity® (Green Hills Software), VxWorks® (Wind River), PikeOS® (Sysgo)。