【摘 要】
:
嵌入式系统在航空航天、核工业等各种安全关键系统中有着广泛应用。这类系统一旦发生故障将会导致严重的财产损失和人员伤亡,因此安全性极为重要。嵌入式系统具有“复杂化、系统化、普适化、多架构设计”的特点,对其进行安全性分析与验证变得愈发困难。本文主要关注飞行器嵌入式系统,对其进行安全性分析与验证存在以下方面的不足:一是安全标准中对功能研制保证等级的分配要求缺乏一致性分析验证方法;二是已有方法做故障率计算主
论文部分内容阅读
嵌入式系统在航空航天、核工业等各种安全关键系统中有着广泛应用。这类系统一旦发生故障将会导致严重的财产损失和人员伤亡,因此安全性极为重要。嵌入式系统具有“复杂化、系统化、普适化、多架构设计”的特点,对其进行安全性分析与验证变得愈发困难。本文主要关注飞行器嵌入式系统,对其进行安全性分析与验证存在以下方面的不足:一是安全标准中对功能研制保证等级的分配要求缺乏一致性分析验证方法;二是已有方法做故障率计算主要面向常规情况,而针对失效满足混合分布和不确定性分布等情况时面临困难;三是在分析系统故障时难以将故障原因与系统组件行为进行关联,不易实现故障状态可达性验证。针对上述问题,本文面向安全关键飞行器嵌入式系统提出安全性分析与验证的若干方法,主要内容如下:(1)针对系统静态结构的功能研制保证等级分配问题,依据安全认证标准提取组件之间功能研制保证等级(Functional Development Assurance Level,FDAL)依赖要求,据此检验嵌入式系统组件间的安全等级依赖关系与认证目标的一致性。通过扩展Sys ML块定义图对系统的静态结构建立安全性设计模型,并将其转化为块依赖图,以刻画系统组件之间的FDAL依赖关系;之后从相关安全标准中抽取有关系统FDAL认证目标;最后验证系统的FDAL依赖关系与认证目标的一致性。(2)针对系统安全风险分析,提出在两种特殊场景下基于动态故障树的定量分析方法。设计了动态故障树模型到有序二元决策图的映射方法,再通过遍历有序二元决策图得到动态故障树的最小割序集。在混合失效分布的情况,通过失效路径组合的方法得到概率计算公式,进行计算得到系统故障概率。在不确定性分布的情况,结合模糊原理,将模糊动态故障树转化为模糊马尔科夫链模型,进行计算得到系统模糊故障概率。(3)针对系统故障状态是否可达问题,基于扩展后的故障状态图提出了一种系统故障状态可达性验证方法。通过从系统故障树抽取安全需求信息,设计算法实现了从故障树和状态图到故障状态图的自动构建。将状态图映射到时间自动机,利用模型检测工具UPPAAL进行故障状态可达性验证。(4)基于上述方法,设计了适用于嵌入式系统的安全性分析工具Tool4ESSA,支持嵌入式系统的静态结构的安全等级分析、系统故障率计算、嵌入式系统故障状态可达性分析验证,并针对每个分析方法给出了具体案例对方法有效性进行了分析说明。
其他文献
网络钓鱼是一种典型的犯罪行为,对金融、政治、电子商务等领域都造成了严重的影响。攻击者通过伪造出与正常网站相似的钓鱼网站,并诱惑用户点击来窃取敏感信息。基于URL检测钓鱼攻击的方法相对页面特征提取、网页视觉相似性匹配等方式代价更低、检测效果更高。现有钓鱼URL检测方法大部分是依据URL特征,利用机器学习的方法进行识别,或者是将标记好的URL递交给深度学习模型进行学习和分类,前者主要依赖URL自身的字
<正>豫政办〔2022〕81号各省辖市人民政府,济源示范区、航空港区管委会,省人民政府各部门:《河南省氢能产业发展中长期规划(2022—2035年)》和《郑汴洛濮氢走廊规划建设工作方案》已经省政府同意,现印发给你们,请认真贯彻执行。2022年8月26日河南省氢能产业发展中长期规划(2022—2035年)
在中职院校,电控发动机的检测与维修是一个难点,许多学生都觉得非常头痛,但是电控发动机的检测与维修是当前汽车产业发展的一个关键环节,电控发动机的检测与维修技术人员非常缺乏,因此教师可以采用一体化的教育方式,提高学生在实践中的解决问题的能力。文章结合电控发动机的检测和维修实践,并分析当前存在的问题,给出了改进的思路和方法。
随着大数据、云计算、人工智能、物联网等数字技术的迅猛发展,新业态、新模式、新动能纷纷涌现,推动数字经济蓬勃发展,为大众创业提供了新赛道,掀起了新一轮的全民创业热潮。但受世纪疫情与百年变局叠加交织影响,加上新创企业存在“新脆性”的先天缺陷,创业的失败率普遍较高。因此,如何提高创业活动的质量,提升企业的绩效成为众多新创企业面临的现实难题。在数字化背景下,企业的生产经营、顾客需求的变化、竞争对手的行为、
数字经济是工业经济、信息经济后,引领社会经济发展的新经济形态。随着数字技术的不断更新迭代,全球经济发展进入了一个以数据驱动、智能化的全新时期,加快数字经济发展成为了全球各国的共识。习近平总书记在党的二十大报告中指出“加快发展数字经济,促进数字经济和实体经济深度融合”。制造业作为实体经济的主体,是数字化转型的先锋。深入研究制造业企业数字化转型现状,评估数字化转型的效果,对提高制造业企业数字化转型质量
机构运动精度稳健性与飞机起落架的收放安全性紧密相关。面向机构精度稳健性的容差设计是保证起落架收放机构运动质量的关键。原雅克比容差模型起源于机器人运动学,与尺寸链方法相比,容差建模简单易行。本文核心在于通过改进原雅克比容差模型,使其适用于复杂机构运动精度分析,并对面向机构精度稳健性的容差设计方法进行研究,从而为起落架容差设计、收放机构精度稳健性设计提供理论指导。针对尺寸链方法建立角度、空间容差模型的
航空发动机在起飞、降落及低空巡航状态下,环境中的砂石、螺钉螺母、金属碎片等微小硬物会随着高速气流吸入进气道,冲击并损伤发动机叶片。由于风扇/压气机转子叶片工作时承受离心力、气动力,同时还叠加振动载荷作用,可能会导致叶片受损处萌生疲劳裂纹并扩展,甚至导致叶片断裂,危及飞行安全。所以,开展叶片受外物损伤规律研究,进一步分析损伤对高周疲劳性能的影响,提高外物损伤叶片的高周疲劳极限预测精度,对发动机叶片的
临海环境中的钢筋混凝土由于受到周边环境因素影响,易出现耐久性劣化的问题。论文以江苏某滨海滩涂湿地为研究区域,通过对其潮间带土壤性质采样调查,配制两种盐侵蚀溶液,根据盐沼湿地潮汐区自然环境特点,设计了长期浸泡、浸泡+干湿循环和浸泡+冻融循环三种工况,模拟混凝土在滨海盐沼湿地和潮汐作用下服役环境,进行混凝土耐久性试验。论文对比分析了三种工况下的混凝土形貌、强度、氯离子含量、质量损失率和相对动弹性模量的