基于EVENT-B的飛機起落架控制系統(tǒng)形式化建模

打開文本圖片集

摘要：飛機起落架控制系統(tǒng)作為飛機的一個極其重要的部分，在飛機著陸、滑跑、起飛過程中起著非常重要的作用，該部分系統(tǒng)性能的好壞將直接影響整個飛機的安全性。飛機起落架系統(tǒng)作為一個極其復雜的系統(tǒng)，如果使用傳統(tǒng)的建模語言對其進行建模，可能會使整個建模過程變得特別復雜，所以這里選擇形式化語言Event-B和可視化插件IUML-B對其建模，這對飛機起落架控制系統(tǒng)的開發(fā)與研究有著重要的意義。（剩余3076字）