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

【參考文獻(xiàn)】

相關(guān)期刊論文 前2條

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

2 張建文;電子檢查單的特點(diǎn)[J];中國民航飛行學(xué)院學(xué)報(bào);2001年04期

相關(guān)博士學(xué)位論文 前1條

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

相關(guān)碩士學(xué)位論文 前2條

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

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

本文編號(hào)：2786789