SCADE Suite - DO-178B

RTCA DO-178B

使用SCADE的DO-178B开发流程

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

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

SCADE/KCG 代码生成器

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

安全控制结构

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

安全数据结构

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

生成C源码

KCG生成的C源码是通过验证的，并且保持了和相应的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