【摘要】：電子檢查單系統(tǒng)是用來確保飛行機組人員可以在飛機的任何飛行階段根據檢查單來對飛機進行配置操作,是飛行安全的重要保障。電子檢查單系統(tǒng)的安全性關系到整個飛機能否正常飛行,飛行員的程序錯誤,特別是完成檢查單的錯誤,是造成大量航空事件和事故的原因。所以,近年來電子檢查單系統(tǒng)的安全性得到了很高的重視。電子檢查單系統(tǒng)的安全需求階段是整個電子檢查單生命過程中最重要的階段,而影響電子檢查單系統(tǒng)安全運行的因素包括:外部系統(tǒng)與電子檢查單系統(tǒng)的交互、環(huán)境的改變、電子檢查單系統(tǒng)內部子系統(tǒng)間復雜的交互等等,這些內外部環(huán)境的變化大大增加了對電子檢查單系統(tǒng)進行危險分析的難度,給電子檢查單系統(tǒng)的安全性分析帶來論文極大的挑戰(zhàn),所以這就需要科學有效的危害分析方法來分析安全需求。為此,本文提出了一種形式化的基于系統(tǒng)理論過程分析的方法對電子檢查單系統(tǒng)進行安全性分析,并完成了以下工作:首先,針對復雜系統(tǒng)安全性分析的成本與時間效率,本文對比分析了不同的事故模型與危險分析方法,分別對事故模型與分析方法的優(yōu)缺點進行評估;其次,對系統(tǒng)理論過程分析方法進行改進,用形式化的方法定義系統(tǒng)的分析模型,包括系統(tǒng)危險、不安全控制動作、安全約束等,并且可以根據不安全控制行為自動生成相應的安全約束,再對不安全控制動作產生的根本原因進行分析;最后,將該形式化的分析方法應用到電子檢查單系統(tǒng)中,有效地識別了電子檢查單系統(tǒng)的危險,構建了電子檢查單系統(tǒng)與外部系統(tǒng)以及電子檢查單系統(tǒng)內部組件之間的控制結構,辨識出系統(tǒng)的不安全控制行為,從而得到系統(tǒng)的安全約束與需求,并找出系統(tǒng)產生不安全控制行為的根本原因。用電子檢查單系統(tǒng)的控制缺陷對其安全需求進行驗證,保證了系統(tǒng)需求的一致性與準確性,并將研究結果與其他研究成果進行對比。
【學位授予單位】：南京航空航天大學
【學位級別】：碩士
【學位授予年份】：2018
【分類號】：V328

【參考文獻】

相關期刊論文 前2條

1 陶嫣紅;;檢查單對飛行安全影響分析[J];科技信息;2013年17期

2 張建文;電子檢查單的特點[J];中國民航飛行學院學報;2001年04期

相關博士學位論文 前1條

1 劉金濤;基于STPA的需求階段的高速列車運行控制系統(tǒng)安全分析方法研究[D];北京交通大學;2015年

相關碩士學位論文 前2條

1 韓笑;基于UML和STPA的RBC交接場景安全分析研究[D];北京交通大學;2016年

2 讓濤;基于STPA的IMA平臺應用系統(tǒng)的危害分析方法研究[D];南京航空航天大學;2016年

本文編號：2786789