典型文献
基于EVENT-B的飞机起落架控制系统形式化建模
文献摘要：
飞机起落架控制系统作为飞机的一个极其重要的部分,在飞机着陆、滑跑、起飞过程中起着非常重要的作用,该部分系统性能的好坏将直接影响整个飞机的安全性.飞机起落架系统作为一个极其复杂的系统,如果使用传统的建模语言对其进行建模,可能会使整个建模过程变得特别复杂,所以这里选择形式化语言Event-B和可视化插件IUML-B对其建模,这对飞机起落架控制系统的开发与研究有着重要的意义.
文献关键词：
起落架;形式化建模;EVENT-B;IUML-B;精化
中图分类号：
作者姓名：
孟开元;王瑾;彭寒;曹庆年
作者机构：
西安石油大学计算机学院,陕西西安 710000;西安航空学院计算机学院,陕西西安 710000
文献出处：
引用格式：
[1]孟开元;王瑾;彭寒;曹庆年-.基于EVENT-B的飞机起落架控制系统形式化建模)[J].电脑知识与技术,2022(07):100-101
A类：
IUML
B类：
EVENT,架控,系统形式,形式化建模,着陆,滑跑,起飞,飞过,该部,分系统,系统性能,好坏,飞机起落架系统,建模语言,Event,插件,开发与研究,精化
AB值：
0.270967
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
