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

小型微型計算機系統頁數： 6 2020-02-15

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

開通會員，享受整站包年服務

說明：本文檔由創作者上傳發布，版權歸屬創作者。若內容存在侵權，請點擊申訴舉報

科技文檔

數學力學化學金融證券保險投資會計審計園藝林業旅游體育物理學生物學天文學氣象學海洋學地質學新能源金屬學農藝學農作物管理學領導學自然科學系統科學資源科學無機化工有機化工燃料化工化學工業材料科學礦業工程冶金工業安全科學環境科學工業通用機械工業無線電子電信技術鐵路運輸汽車工業船舶工業動力工程電力工業農業科學農業工程植物保護動物醫學教育理論學前教育初等教育中等教育高等教育職業教育成人教育自然地理地球物理經濟統計農業經濟工業經濟交通經濟企業經濟文化經濟信息經濟貿易經濟財政稅收市場研究科學研究互聯網自動化輕工業核科學服務業石油然氣服務業野生動物水產漁業硬件儀器儀表航空航天武器軍事公路運輸水利水電建筑科學軟件