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

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