【摘 要】
：
RTCA/DO-178以软件质量为核心目标,严格规定了民用飞机软件设计的各个保障等级的目标和活动.然而由于标准本身的定位,DO-178对目标和活动的实施方法缺少必要的描述,为了保证
【出 处】
：
2016第五届民用飞机航电系统国际论坛
论文部分内容阅读
RTCA/DO-178以软件质量为核心目标,严格规定了民用飞机软件设计的各个保障等级的目标和活动.然而由于标准本身的定位,DO-178对目标和活动的实施方法缺少必要的描述,为了保证我机软件特别是A级软件的验证目标得以满足,文章以RTCA/DO-178中要求的活动和目标为出发点,分析和比较了各软件设计保障等级的目标和活动,着重描述了设计保障等级为Ａ级的关键软件验证技术,这些关键验证技术包括软件结构覆盖率分析与MCDC分析方法,目标码验证原理、环境及基于样例工程的验证方法,基于模型的软件开发验证流程等.
其他文献
弓形虫疾病是一种严重的人兽共患病,可感染所有哺乳动物和鸟类。猫是弓形虫的终末宿主,通过粪便排出的弓形虫卵囊是重要的传染源。选取北京市房山区的犬、猫进行血清弓形虫抗
目的总结风湿性多肌痛的中医证型用药规律。方法计算机检索中国知网、万方数据库,检索词为＂风湿性多肌痛＂and＂中医＂,排除重复文献病例文献,共纳入24篇文献,共669例患者。借助EXCE
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
以基质培养的绿色植物所在的半封闭阳台系统为研究对象,设计基于Arduino Uno WIFI +机智云的远程环境控制系统。系统通过传感器实时采集温度、湿度、光照等环境参数,通过WIFI
本文主要研究了支护技术在煤矿开采工作中的实际应用方式,以及在不同工程位置中使用该技术需要注意的细节,如回风道和出矿口等,希望为煤矿开采工程的不断落实提供合理参考。
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
在当前的建筑行业中基本采用的都是具备抗震功能、搭建速度快、施工难度较低且自动化制造程度较高的装配式钢结构。此种装配式钢结构现在已经成为了相关的建筑行业推动建筑行
随着信息技术和数据技术的发展,管道运输行业对于数据管理和应用的重视程度越来越高。本文围绕APDM的长输管道数据管理应用议题进行了探讨,概述了APDM结构及核心要素,从阐述
脂必妥是成都地奥制药公司生产的一种治疗高脂血症的纯中药制剂。为了验证其临床疗效，我们观察了该药对２６例高脂血症患者胆固醇（ＴＣ）、甘油三酯（ＴＧ）等指标的影响，现报告如下。１临床资料１．１病例
中共中央从今年6月开始,在全党自上而下分两批开展的“不忘初心、牢记使命”主题教育,与之前习近平总书记指出的“党性教育是共产党人修身养性的必修课,也是共产党人的‘心学