《複雜並發系統驗證和評估分析的代數符號化理論與方法》是依託北京交通大學，由吳盡昭擔任項目負責人的面上項目。
基本介紹
- 中文名：複雜並發系統驗證和評估分析的代數符號化理論與方法
- 項目類別：面上項目
- 項目負責人：吳盡昭
- 依託單位：北京交通大學
- 批准號：60873118
- 申請代碼：F0201
- 負責人職稱：教授
- 研究期限：2009-01-01 至 2011-12-31
- 支持經費：35（萬元）
項目摘要
並發系統（如軟體、電路系統）大量存在於現實生活當中。如何建立確保複雜並發系統設計正確性和可靠性的高效實用的驗證和評估方法是計算機科學技術領域的挑戰之一。本項目通過代數符號計算與並發理論的交叉與融合，構建並發系統形式化模型及性質刻畫語言的多項式結構表示理論，在此基礎上，基於系統的結構和功能行為，結合系統環境的性能指標和特性，建立用於並發系統功能驗證和性能評估的新型代數符號化模型檢測方法，在高可計算性、統一性、協調性、協同性、混成性五個關鍵問題上取得突破：高可計算性方面，能夠有效緩解狀態爆炸導致的複雜計算問題；統一性方面，能夠有效克服功能驗證與性能評估分析的相互割裂問題；協調性方面，能夠有效處理矛盾信息的剔除問題；協同性方面，能夠有效解決系統與環境之間的整體刻畫問題；混成性方面，能夠有機結合傳統的測試方法。針對實際需求，作為實證示範，探索這一方法在軌道列車控制系統設計與分析中的套用。
