论文部分内容阅读
本文从软件可靠性工程角度,对DO-178B的研制流程进行解读,分析DO-178B中所包含的避错、消错和容错的机载软件可靠性设计技术。分析表明,DO-178B既是机载软件满足适航安全性要求的符合性方法,也是保证机载软件可靠性的一种软件设计方法。
基于DO-178B的机载软件可靠性设计
【摘 要】
：
本文从软件可靠性工程角度,对DO-178B的研制流程进行解读,分析DO-178B中所包含的避错、消错和容错的机载软件可靠性设计技术。分析表明,DO-178B既是机载软件满足适航安全性要
【机 构】
：
上海飞机设计研究院飞控系统设计研究部
【出 处】
：
软件
【发表日期】
：
2012年6期
其他文献
目的 评价呼吸训练能否改善脑卒中患者的运动功能、运动耐力和日常生活能力(Activity of Daily Living,ADL)。方法 通过计算机系统检索PubMed、Embase、GoogleScholar、中国
报道了可见吸收光谱线型的高斯多峰拟合用于新型非离子表面活性剂烷基葡萄糖苷（APG）,如辛基--βD-葡萄糖单苷（C8G1）和癸基--βD-葡萄糖单苷（C10G1）的临界胶束浓度（CMC）的测定。具体作
目的:艾滋病是一种极其复杂难治性疾病,具有复杂性科学研究特点。信息熵函数和阴阳状态函数均表达开放系统的生命体通过与外界之间通过能量、物质、信息进行交换,抵消和减缓
吹总看着天边的乌云,奇怪地说道：“那些乌云好像被谁擦掉一样,一朵一朵消失了。”阿笨扬了扬手中的牛皮,说道：“小廖正在用神奇的橡皮擦乌云呢。”吹总顿时肃然起敬：“真是一个