基于EVENT-B的飞机起落架控制系统形式化建模

  • 打印
  • 收藏
收藏成功
微博 QQ空间 微信


打开文本图片集

摘要：飞机起落架控制系统作为飞机的一个极其重要的部分，在飞机着陆、滑跑、起飞过程中起着非常重要的作用，该部分系统性能的好坏将直接影响整个飞机的安全性。飞机起落架系统作为一个极其复杂的系统，如果使用传统的建模语言对其进行建模，可能会使整个建模过程变得特别复杂，所以这里选择形式化语言Event-B和可视化插件IUML-B对其建模，这对飞机起落架控制系统的开发与研究有着重要的意义。（剩余3076字）

试读结束

目录
monitor
客服机器人