论文部分内容阅读
本文从软件可靠性工程角度,对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）的测定。具体作
天气越来越冷了，北风呼呼地刮着，树叶从树上飘落下来，动物们有的躲起来了，有的窝在洞里舒舒服服地冬眠了。可我们家的乌龟先生却依旧神气活现，躺在它的缸里享受着冬日暖阳的抚摸。
目的:艾滋病是一种极其复杂难治性疾病,具有复杂性科学研究特点。信息熵函数和阴阳状态函数均表达开放系统的生命体通过与外界之间通过能量、物质、信息进行交换,抵消和减缓
介绍了开发JC14.5/JC14.5 523.5/393.5 119.4cm防羽绒布所选用的设备性能、工艺技术路线的特点及提高质量效率所采取的技术措施。
2014年12月29日13时47分，已70岁并患中风的方大爷步行时遇上台阶，一不小心被绊，摔倒在新余市中医院第二门诊部的路口。摔倒后，方大爷陷入昏迷。而他的老伴王阿姨因身材瘦小，扶不起
吹总看着天边的乌云,奇怪地说道：“那些乌云好像被谁擦掉一样,一朵一朵消失了。”阿笨扬了扬手中的牛皮,说道：“小廖正在用神奇的橡皮擦乌云呢。”吹总顿时肃然起敬：“真是一个
只听陈安绮一边打哈欠一边吹道:星期六,我正在打哈欠,突然,一个会说话的苹果请我进入水果城。哇,水果城真漂亮!一位香蕉老师出来迎接我们,她真美!我们跟着香蕉老师进入教室,