【摘 要】
：
为提高机载控制软件的安全性,降低由于软件失效而引起的故障比例,分析了目前该类软件安全性分析工作的难点及不足。简述了软件失效模式及影响分析(SFMEA)方法的特点,并在传统
论文部分内容阅读
为提高机载控制软件的安全性,降低由于软件失效而引起的故障比例,分析了目前该类软件安全性分析工作的难点及不足。简述了软件失效模式及影响分析(SFMEA)方法的特点,并在传统的SFMEA方法基础上根据机载控制软件的特点提出改进的SFMEA方法,介绍了基于该方法的典型机载控制软件安全性分析工作过程及步骤。结果表明该方法有助于发现软件安全性薄弱环节,提出安全性需求,降低软件失效率,对于机载控制类软件安全性分析工作具有一定工程实践价值。
其他文献
采用阴燃速率测试仪对卷烟纸阴燃速率进行测试,通过创建数学模型并运用不确定度评定的基本方法和程序,分析了卷烟纸阴燃速率测量不确定度的主要来源,按照JJF1059-2012《测量
根据全国大钢安全协作会2006年度的安全生产统计报表，37家成员单位铁产量超过20187．61万t，钢产量超过21616．32万t，销售收入超过48894631万元，利润超过2554715万元，钢铁产量持续增长，
【正】 公元2003年是我省审计机关成立20周年。20年的风风雨雨、艰难历程,审计从无到有,从小到大,从幼稚到成熟,浸透着一代又一代审计人的艰辛与汗水。几度风雨,几度春秋,730
目的探讨有氧运动对老年慢性心力衰竭患者疲乏状况的影响。方法将50例老年慢性心力衰竭患者随机分为对照组和干预组,每组各25例,对照组患者仅给予药物治疗,患者可自由活动,不
【正】 小计谋1 每天早晨洗脸时,记得顺便将冷水轻轻吸入鼻腔进行清洗。大回报:一举两得——既刺激了鼻腔又打扫了卫生。鼻腔经过这样的每日一练,渐渐习惯了低温,再有冷空气
针对僵尸网络难以有效检测的问题,构建了一种基于Light GBM的僵尸网络检测模型。首先,构建了一种基于流的多变量网络流特征,该特征能够全面反映网络流量性质,并编写Zeek插件
目的探讨临床护理路径在妇科手术病人中的应用效果。方法选择本院2011年1月~2013年1月进行妇科手术的300例患者作为研究对象,随机分为2组,每组150例。观察组患者采用临床护理
全膝关节置换手术的实施对象多为老年患者,行换膝术术后疼痛剧烈,易引发各种并发症。因此,给予良好的镇痛措施对改善患者预后有着较高的临床意义。瑞芬太尼作为超短效μ受体
利用第一性原理计算,研究了氧原子在Nb中的扩散现象以及施加应变的影响,并对氧原子在Nb-Ti、Nb-Zr合金中的团簇化进行了计算分析。发现在单向应变下,在平行于应变方向上,氧原
随着免疫组织化学研究的进展,各种新的肿瘤标记物的发现对肿瘤的来源和罕见肿瘤的诊断、以及转移瘤原发部位的确定,提供了客观而可靠的依据。但是免疫组化还面临不少问题。越