软件适航加油站

 找回密码
 成为会员
搜索
查看: 12753|回复: 1

嵌入式开发的标准,进程,方法及工具

[复制链接]
qfwind2003 发表于 2009-7-3 12:11:14 | 显示全部楼层 |阅读模式
本帖最后由 qfwind2003 于 2009-7-3 12:43 编辑

嵌入式开发的标准,进程,方法及工具

王云明 爱斯特尔技术公司 201203
宁振波 中国一航第一飞机设计研究院 710089
李翎 中国一航第631 研究所 710068


摘要:
本文简要介绍了民用航空业界的高安全性嵌入式开发的三个标准:系统生命周期的ARP4754,软件生命周期的DO-178B,以及硬件生命周期的DO254;着重分析了DO-178B 标准所规定的软件生命周期中的开发进程、验证进程、验证的验证进程;针对这些进程在实际工程中实现的困难和挑战,阐述了进程自动化和进程省略的前提条件和相关依据。文章的最后还介绍了SCADE 这一款流行的嵌入式软件开发环境,分析了它如何实现进程的自动化和进程省略并满足DO-178B 标准。SCADE 在国内外的成功应用在文章结尾处也有提及。

关键词:DO-178B,开发进程,验证进程,验证的验证进程,进程的自动化,进程的省略,SCADE

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 elimination. Some successful applications of SCADE are also mentioned in the paper.

Keywords: DO-178B, development process, verification process, verification of verification process, process automation, process elimination, SCADE

全文阅读及下载:
http://www.yunmingwang.cn/files/DO-178B嵌入式开发的标准,进程,方法及工具.pdf
sshining 发表于 2012-9-19 13:07:55 | 显示全部楼层
这么好的东西, 才发现呢!
感谢!
您需要登录后才可以回帖 登录 | 成为会员

本版积分规则

小黑屋|Archiver|手机版|软件适航加油站 ( 沪ICP备13019901号-3 )

GMT+8, 2018-8-20 11:31 , Processed in 0.140400 second(s), 16 queries .

Powered by Discuz! X3.2

© 2001-2013 Comsenz Inc.

快速回复 返回顶部 返回列表