主页>产品介绍>SCADE Suite>DO-178B
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 |
|
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认证包内容
