文档介绍：嵌入式开发的标准,,,进程,进程,,,方法及,方法及工具
王云明爱斯特尔技术公司 201203
宁振波中国一航第一飞机设计研究院 710089
李翎中国一航第 631 研究所 710068
摘要
本文简要介绍了民用航空业界的高安全性嵌入式开发的三个标准:系统生命命周周期的
ARP4754 ,软件生命命周周期的 DO-178B ,以及硬件生命命周周期的 DO254 ;着重分析了 DO-178B 标准
所规定的软件生命命周周期中的开发进程、验证进程、验证的验证进程;针对这些进程在实际工程中
实现的困难和和挑战,阐述了进程自动动化化和和进程省略的前前提条件和和相关依据。文章的最后还介绍了
SCADE 这一款流行的嵌入式软件开发环境,分析了它如何实现进程的自动动化化和和进程省略并满足
DO-178B 标准。SCADE 在国内外的成功功应用在文章结尾处也有提及。
关键词:DO-178B ,开发进程,验证进程,验证的验证进程,进程的自动动化化,进程的省略,SCADE
Standards, Processes, Methods, and Tool for the Development of Embedded Systems
Yunming WANG, Esterel Technologies, 201203
Zhenbo NING, First Aircraft Institute of AVIC-1, 710089
Ling LI, No 631 st Institute of AVIC-1, 710068
Abstract
This paper briefly introduces three international standards in safety-critical embedded development
for civil aircraft: ARP4754 for system lifecycle, DO-178B for software lifecycle, and DO254 for
hardware lifecycle; it summarizes the processes described in DO-178B, focusing on the development
processes, verification processes and verification of verification processes. After an analysis of the
challenges in implementing these processes, this paper describes the premise and the foundation of
process automation and process elimination. At the end, this paper introduces SCADE, a popular
development environment for embedded software, with detailed information how it attains proce