【摘 要】
：
针对综合化航空电子系统安全性分析存在的失效模式完备性和动态失效问题以及数据一致性问题,将航电系统分为应用操作层、功能层和资源层3个层次,采用形式化方法分别对每个层
【机 构】
：
南京航空航天大学计算机科学与技术学院
【基金项目】
：
国家重点基础研究计划(973计划)项目(2014CB744900)
论文部分内容阅读
针对综合化航空电子系统安全性分析存在的失效模式完备性和动态失效问题以及数据一致性问题,将航电系统分为应用操作层、功能层和资源层3个层次,采用形式化方法分别对每个层次进行建模,利用模型转换技术实现3个层次之间的语义转换,确保语义的一致性。利用AADL语言对系统应用操作和功能层建模,实现对应用操作模式完备性检查,利用AltaRica语言对系统的异常行为建模,实现对系统的动态失效问题分析。本文以飞机自动驾驶系统为例,利用AADL建模工具Osate实现对应用操作模式的分析,借助于基于AltaRica语言的Sim Fia工具对其安全性进行分析,结果验证了所提出方法的有效性和实用性。
其他文献
谈谈饭店的酒水标准成本控制南京金陵旅馆管理干部学院宋雪鸣，费志冰为适应外国旅游者的需要，许多现代化旅游饭店都设有酒吧供应酒水。在实际工作中，上级主管部门是以酒水的综合
我国社会主义市场经济体制不断改革深化,使大学生在就业、生活、工作等方面都处于激烈的竞争环境,快节奏的工作生活容易造成大学生身心疲惫、心情浮躁,产生抑郁等负面的情绪
制造型企业在我国社会经济中具有非常重要的地位,但随着市场竞争的日益加剧和市场环境的变化莫测,不少企业在市场中所占的份额在不断下滑,其中,存货在企业资产中占用较高的比
本文将从社会语言学的角度对广告语言进行深入地研究和阐述。分析得出了广告语言的四个特征:社会现实性、地域性、性别差异性和年龄差异性。同时,本文还将分析这四个特征在广
<正>日前,龙煤集团与晋商联盟医院股权转让签约仪式在哈尔滨举行,由此开启双方在医疗领域股权合作的序幕。协议的签署标志着龙煤集团在积极推进企业深化改革工作中又一次迈出
团体绘画治疗在20世纪得到蓬勃的发展,它的理念和实施方法特别适用于美术教育。文章梳理了团体绘画治疗的发展脉络,介绍了团体绘画治疗的理念和实施阶段,并以中国美术学院"儿
<正>韩国南部顺天市的顺天湾,拥有40公里的海岸线,蕴藏极丰富的生态资源,是全球5大河岸湿地之一。1960年,国际水禽与湿地研究局(IWRB)组织了一系列国际会议和技术会议,并于19
习近平同志关于"人才是第一资源"的论断,表明党中央对人才重要性的认识达到了一个新的高度,突破了传统的资源观,提升了人才的社会地位,强化了人才在生产力中的作用,有利于提
随着我国经济的发展和社会的进步,建筑工程项目日益增多,随之而来的是资源的过度消耗,因此建筑工程施工中的节能技术已引起了各界人士广泛关注。柘荣县体育中心工程作为建筑
俄罗斯宗教分裂后的近四百年历史中,不断有人宣称自己为真沙皇,现今当权的沙皇是假冒的,借此领导农民起义或发动社会革命。这一现象屡见不鲜,其原因是俄罗斯民族固有的宗教观