安全相關(guān)軟件的設(shè)計方法研究及應(yīng)用.pdf

1、軟件越來越多的被應(yīng)用于我們?nèi)粘Ｉ钪械母鱾€方面，包括航空航天、軌道交通、醫(yī)療信息系統(tǒng)、通信系統(tǒng)等。在這些領(lǐng)域，軟件的安全性顯得非常的關(guān)鍵，尤其是當(dāng)軟件失效造成的災(zāi)難或事故會導(dǎo)致生命危險或巨大的財產(chǎn)損失。本文基于安全相關(guān)領(lǐng)域現(xiàn)存開發(fā)方法的優(yōu)點和不足，以軌道交通領(lǐng)域列車自動防護系統(tǒng)(ATP，Automatic Train Protection)為例進行研究，研究了基于模型驅(qū)動的代碼自動生成方法，旨在提高軟件的安全性，主要工作體現(xiàn)在以下方面：

2、
　　 1.以軟件開發(fā)的現(xiàn)狀及方法和模型為基礎(chǔ)，綜合分析了安全領(lǐng)域軟件開發(fā)的方法。根據(jù)ATP系統(tǒng)開發(fā)中面臨的挑戰(zhàn)和現(xiàn)有開發(fā)方法的不足，提出利用基于模型驅(qū)動和自動代碼生成的方法來開發(fā)ATP系統(tǒng)軟件。
　　 2.在分析基于通信的列車運行控制系統(tǒng)(CBTC，Communications BasedTrain Control)的車載ATP子系統(tǒng)功能和接口特點的基礎(chǔ)之上，設(shè)計ATP模型的數(shù)據(jù)結(jié)構(gòu)和模型元素，這也是本文的重點。本研究

3、建立了ATP系統(tǒng)的接口模型，架構(gòu)模型及功能模型。ATP的功能模型由數(shù)據(jù)流圖模型或狀態(tài)機模型實現(xiàn)，描述了功能單元的輸入輸出變量及其內(nèi)部詳細的數(shù)據(jù)流程。
　　 3.設(shè)計并實現(xiàn)了ATP代碼自動生成輔助工具平臺。此平臺可以采用圖形化的界面實現(xiàn)系統(tǒng)模型的建立，并生成XML格式的模型描述文件；采用XML+XSLT技術(shù)，設(shè)計具體業(yè)務(wù)的代碼格式模板，自動生成目標(biāo)代碼。
　　 通過對課題的研究，本文得出以下結(jié)論：基于模型驅(qū)動的開發(fā)方法避免