一個基于形式化方法的系統(tǒng)安全性建模分析實例研究

摘要： 隨著安全關(guān)鍵性系統(tǒng)的日益復雜,如何提高安全關(guān)鍵系統(tǒng)的安全性成為急需解決的問題.基于形式化模型的復雜系統(tǒng)設(shè)計與分析是一種重要的安全性分析方法.本文工作對AIR6110標準中的機輪剎車實例系統(tǒng)進行了基于形式化方法的安全性分析研究,包括:在系統(tǒng)模型設(shè)計層級對機輪剎車系統(tǒng)(WBS)的架構(gòu)進行層次化分析,將自然語言描述的WBS系統(tǒng)功能用形式化語言(AADL的子集SLIM)進行嚴格的建模描... （共6頁）