安全相關軟件的設計方法研究及應用.pdf

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

2、
　　 1.以軟件開發(fā)的現(xiàn)狀及方法和模型為基礎，綜合分析了安全領域軟件開發(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)功能和接口特點的基礎之上，設計ATP模型的數(shù)據(jù)結(jié)構(gòu)和模型元素，這也是本文的重點。本研究

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