【摘 要】
:
针对综合化航空电子系统安全性分析存在的失效模式完备性和动态失效问题以及数据一致性问题,将航电系统分为3个层次:应用操作层、功能层和资源层,采用形式化方法分别对每个层
【机 构】
:
中国航空无线电电子研究所,西北工业大学计算机学院
论文部分内容阅读
针对综合化航空电子系统安全性分析存在的失效模式完备性和动态失效问题以及数据一致性问题,将航电系统分为3个层次:应用操作层、功能层和资源层,采用形式化方法分别对每个层次进行建模,利用模型转换技术实现3个层次之间的语义转换,确保语义的一致性。利用Event-B语言对系统应用操作和功能层建模,实现对应用操作模式完备性的检查,利用AltaRica语言能够对系统的异常行为建模,实现对系统动态失效问题的分析。以飞机自动飞行控制系统为例,利用Event-B建模工具Rodin实现对应用操作模式的分析,借助基于AltaRica语言的SimFia工具对其安全性进行分析,结果验证了所提方法的有效性和实用性。
其他文献
社区发展是自然保护区发展的动力,只有社区得到发展,群众得到实惠,才能有效减少对自然资源的依赖与破坏,实现保护区可持续性发展。本文通过对茂兰保护区开展社区工作的回顾和
冬季奥林匹克运动会的雪上项目建在高差悬殊、地形复杂、山高林密的区域,为了因地制宜,减少挖填方,控制资金,场馆设计需要精细准确的现状数据。本文以2022年冬奥会延庆赛区为
LNG加气站的设计建设是保证LNG设备运行的前提,随着LNG汽车和交通工具的不断增加,LNG的配套设施也要同步发展。加气站是LNG被应用于生活的必经程序,国内外使用最多的是撬装式
随着科技的不断发展,测绘技术逐渐完善,并不断应用于各行各业。在土地开发整理中,测绘技术发挥着重要的基础作用,测绘技术为土地开发整理提供技术支持,在土地开发整理的全过
<正>上半年,全国建材商品出口122亿美元,同比增长15%,增速同比回落5个百分点。其中对亚洲出口67亿美元,同比增长16.8%,增速同比回落4个百分点;对欧洲出口23亿美元,同比增长4.
本文关注神像画的音乐图像,既是对这一瑶族视觉遗产进行充分的内容挖掘,也是在“历时—共时”的互构视域中,将画像之中的音乐图像与现实仪式中的音乐情景相观照,从中探寻瑶族宗教
当前迅速发展的会展业不仅需要提倡精细化的管理思想,而且系统化的服务创新也迫在眉睫。本文借鉴服务科学管理工程的研究方法,以博览会游客和有关专家为对象,运用访谈和问卷
“上课”“起立”……正当我要引出“长方体,正方体,球的认识”这个课题时,有个学生在:坐下时不小心碰到了桌子,教室的走道上“扑扑扑”地跳出了一个皮球。
<正> 在社会组织中,每个人都担当着一定的社会角色。所谓社会角色,是指某一个体在社会关系中所处的地位及这种地位要求的行为模式。秘书作为社会成员的一份子,也在扮演着某种
制造企业进行服务创新面临着一个重要的困境:由于产品和服务的不同特性,基于产品创新积累的知识无法满足服务创新的需要,甚至会形成能力刚性而成为服务创新的障碍。本文指出