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 |
|