【摘 要】
：
为推动基于模型的开发和验证技术的发展,同时为了给机载软件基于模型的开发和验证活动提供合格审定指南,美国航空无线电委员会于2011年发布了DO-331《基于模型的开发和验证》
论文部分内容阅读
为推动基于模型的开发和验证技术的发展,同时为了给机载软件基于模型的开发和验证活动提供合格审定指南,美国航空无线电委员会于2011年发布了DO-331《基于模型的开发和验证》标准,作为对DO-178C《机载系统和设备合格审定中的软件考虑》标准的补充.该文主要从DO-331文档的组织架构编排,模型的使用和分类,基于模型研制相关的软件生命周期过程、数据和符合性验证目标几个方面对其进行了提炼和解读,可帮助应用该标准的人员快速理解文档的核心内容,并把握基于模型的开发和验证相关的合格审定关注点,从而在项目实施过程中更
其他文献
仲裁费用担保是一种临时或保全救济的形式,是为了防止被申请人不受申请人无力补偿被申请人在仲裁中支出的合理费用的风险。仲裁庭必须在申请人诉诸仲裁的利益和被申请人在胜
随着社会经济的飞速发展和人们生活水平的不断提高，在社区建设中社区的环境建设成为社会和大众的关注焦点。轻松舒适、赏心悦目的生存环境成为现代人们追求高生活质量的重要标
担截法之我见４５０００３河南中医学院曹大明路玫担截之法出自元代王国瑞所著《扁鹊神应针灸玉龙歌》之“天星十一穴歌诀”中，至明代徐凤著《针灸大全》又增太冲一穴，并将其更名为“马丹阳
对高温活性好、耐硫强、热稳定性好、机械强度高和寿命长的NIC6高温耐硫甲烷化催化剂进行了本征动力学研究。以鲁奇炉出口气体组分为参照,采用等温积分反应器,在460~560℃、2
采用超声波法从蓼蓝中提取出β-谷甾醇并对其含量进行了测定,研究了β-谷甾醇清除超氧阴离子自由基和羟自由基的能力,并与几种常见抗氧化剂的清除能力进行了比较。研究了β-
螺杆挤出机是高聚物成型领域的重要设备,其共混能力对于材料共混改性等是十分重要的。而三角形排列的三螺杆挤出机,是一种新型的螺杆挤出机设备,其三个啮合区和特有的中心区
随着电子商务的兴起和智能设备技术的发展,对物流和运输行业的需求日益增加,滚滚的车轮给人类日常生活和社会发展带来了便捷、进步的同时,诸如交通堵塞、交通事故频发、环境
随着催化合成技术的发展,新型的C02基降解塑料技术可以将工业排放的CO2作为原料,来合成环境友好型材料,此材料能作为可生物降解的无污染材料使用。国内外能源价格的升高,以及
目的观察采用头电针疗法联合悬吊训练治疗脑卒中后并发上肢功能障碍患者的临床疗效。方法将99例脑卒中后并发上肢功能障碍患者按随机数字表法分为联合组、悬吊组、康复组,每
阿戈美拉汀片是法国施维雅公司(Les Laboratoires Servier)研制出的一种具有显著疗效的抗抑郁症药。它是一种薄膜包衣的普通片,规格为25mg,几乎能够治疗各种抑郁症,作用效果