基于EVENT-B的飞机起落架控制系统形式化建模
飞机起落架控制系统作为飞机的一个极其重要的部分,在飞机着陆、滑跑、起飞过程中起着非常重要的作用,该部分系统性能的好坏将直接影响整个飞机的安全性.飞机起落架系统作为一个极其复杂的系统,如果使用传统的建模语言对其进行建模,可能会使整个建模过程变得特别复杂,所以这里选择形式化语言Event-B和可视化插件IUML-B对其建模,这对飞机起落架控制系统的开发与研究有着重要的意义.
起落架、形式化建模、EVENT-B、IUML-B、精化
18
V227+.4(飞机构造与设计)
2022-05-12(万方平台首次上网日期,不代表论文的发表时间)
共2页
100-101