【摘 要】
：
综合模块化航空电子(IMA)系统采用资源共享的系统架构,在提供更加复杂强大的航电功能的同时也带来了更复杂的故障增殖模式,针对此问题提出了基于AADL和GSPN的可靠性评估方法
【机 构】
：
中国民航大学天津市民用航空器适航与维修重点实验室,中国民航大学安全科学与工程学院
论文部分内容阅读
综合模块化航空电子(IMA)系统采用资源共享的系统架构,在提供更加复杂强大的航电功能的同时也带来了更复杂的故障增殖模式,针对此问题提出了基于AADL和GSPN的可靠性评估方法。首先采用AADL语言对系统的架构及故障信息进行描述,建立其AADL可靠性模型,为了进一步分析其故障动态行为,研究了AADL可靠性模型向GSPN模型转化规则,通过对GSPN模型的分析来评估IMA系统可靠性。最后以IMA系统显示功能为例进行了可靠性评估,验证了该方法的有效性,并且通过实验对比的方式给出了显示功能架构的选择建议。
其他文献
中华文化博大精深,作为中国古老文化的代表性人物,老子、庄子以及孔子的思想精义至今仍闪烁着夺目的光辉,“国学热”成为时下人们所关注的话题。本文通过深入浅出的说理,与读
地面水污染问题日益突出,特别是水体富营养化问题日益尖锐,迫使越来越多的国家和地区更为重视地面水污染控制和严格限制水污染物的排放,这也使得高效的污水净化技术特别是高
我国的调解制度源远流长,历经风雨而始终保持勃勃生机。相对于判决而言,法院调解所具备的独特优势是其得以存在发展的内在依据。而调审合一的模式也带来了诸多问题,是我国法
【正】 一、一个聚讼纷纭的问题汉字“家”的形义来源,是一个众说纷纭的问题。《说文解字·宀部》:“居也。从宀,豭省声。”《说文》“省声”之字,多可疑音,故对许慎此条
<正>2018年,中国车市结束了连续27年的增长,产销分别下跌4.2%和2.8%,而全球市场整体也呈下滑态势。对于此次下跌,业内普遍认为,10年一轮的周期性规律或将来临,因为距离2008年
<正> 1956年抚顺市文化局文物工作队对高尔山古城址进行了稠查,1963年夏季又复查了一次。采集和收集到不少遗物。现将调查所得报导如下: 一、地理位置古城址位于抚顺市北的高
<正>近年来,随着产业结构的不断优化调整,"退二进三"、"退城进园"等举措持续推进,重庆这座曾经的老工业基地,焕发出勃勃生机。然而,大量工业企业搬迁后,遗留的污染场地存在威
“脾主运化”为维持脾脏象功能活动之核心,具有运化水谷生成精微,滋养五脏六腑形体官窍之功能。其理论内涵的最终形成是一个历史演变的过程。历代医家对“脾主运化”的理论均
随着我国经济的快速发展,以及改革开放后外资的大量进入,我国的零售行业呈现出一派繁荣景象,并随之涌现了一大批新兴的零售业态,其中以大型购物中心为代表的新兴零售业态发展
武警部队全体官兵:$$战鼓震兮开宏篇,壮士激兮练打赢。在全部队深入学习贯彻党的十九大精神,建设现代化武装警察部队开启新征程之际,2018年军事训练拉开了帷幕。武警部队党委