安全苛求軟件的設計與開發(fā)方法研究.pdf

1、隨著城市信息化建設的不斷推進，安全苛求系統(tǒng)的應用領域也越來越廣泛，如航空航天、醫(yī)療、軌道交通等領域。在這些領域，安全苛求系統(tǒng)通常是功能密集型且邏輯復雜的，設計和開發(fā)難度大，生命周期長，成本高。本文針對軌道交通領域的基于通信的列車運行控制(CBTC，Communications Based Train Control)系統(tǒng)進行研究，引入應用數(shù)據(jù)的概念，提出可配置的、基于模型的代碼自動生成技術，旨在解決傳統(tǒng)方法的缺陷和不足，減少錯誤的引入，

2、提高軟件的安全性。
　　 首先，基于CBTC系統(tǒng)提出應用數(shù)據(jù)的概念，包括描述系統(tǒng)個性的靜態(tài)應用數(shù)據(jù)和表達系統(tǒng)共性的功能邏輯描述，并以列車自動防護（ATP，Automat Train Protection）系統(tǒng)為例設計模型，實現(xiàn)應用數(shù)據(jù)的模型化表達。其中靜態(tài)應用數(shù)據(jù)模型包括接口模型、信號模型和通用參數(shù)模型;功能邏輯描述模型包括結構模型、算法模型和邏輯模型。其次，設計應用數(shù)據(jù)配置平臺框架，實現(xiàn)數(shù)據(jù)集中管理和自動配置功能;并結合基于X

3、SLT的格式轉換技術，提出了可配置的、基于模型的代碼自動生成技術，即通過將已配置的應用數(shù)據(jù)模型轉換為XML格式文檔，再經XSLT處理器轉換為模板XSL文檔所定義的格式文件，即軟件源代碼。最后，設計自動生成平臺的結構和框架，實現(xiàn)面向ATP軟件的應用數(shù)據(jù)配置和基于模型的代碼自動生成功能，并進行結果分析。
　　 本文提出的安全苛求軟件設計與開發(fā)方法，實現(xiàn)了軟件需求的半形式化，使需求描述和軟件設計清晰明確，在設計階段進行測試和驗證;同時