SCADE Suite - DO-178B
来源:百度文库 编辑:神马文学网 时间:2024/04/29 10:37:17
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
使用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
SCADE Suite - DO-178B
KCG和DO-178B
LDRA:使用LDRA工具包进行DO-178B认证
SCADE介绍
CDMA2000 1x EV-DO Rev.B系统综述
CDMA2000无线接入网向EV-DO Rev B演进分析 - 无线通信\行业技术\技术 ...
Rational SUITE Enterprise Studio
使用BEA AquaLogic BPM Suite
to do
360do
I DO!
-探究 Microsoft’s Express Suite 2005
Do More: Online To Do Lists Compared
Everything i do , do it for u
Lesson 4 What Do You Do?
Do The Right Thing
Do It Now
waht will i do
learning to do
动词 sb. to do
水果 DO NOT
DO WELL高考英语
Do not wait...
i will do it