嵌入式开发的标准 嵌入式开发的标准,.pdfVIP

嵌 嵌入 入式 式开 开发 发的 的标 标准 准, ,进 进程 程, ,方 方法 法及 及工 工具 具 嵌 嵌入 入式 式开 开发 发的 的标 标准 准, ,进 进程 程, ,方 方法 法及 及工 工具 具 王云明 爱斯特尔技术公司 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 st Ling LI, No 631 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 process automation and process eliminationSome successful applications of SCADE are also mentioned in the paperKeywords: DO-178B, development process, verification process, verification of verification process, process automation, process elimination, SCADE 1111 前 前 前 前言 言 言 言 近些年来,嵌入式系统的发展异常迅速,深入地渗透到各行各业。它的发展过程有如下几个 明显趋势:
规模越来越大。早些年朦胧的嵌入式系统,如汽车上的倒车雷达、中控门锁等等,通常 只有几十行或上百行的代码。现在飞机、导弹上,仅一个飞行控制系统就会达到几十万 行的代码。整个飞机的嵌入式系统则更多,F-22 飞机上高达 300 万行代码,而用于 F-35 机载和地面飞行支持的嵌入式系统代码更是高达 1500 万行。
软件的比重越来越大。众所周知,嵌入式系统由软件和硬件组成。在早期,主要功能由 硬件来实现;但现在,嵌入式系统中功