開放軟體系統的基礎理論與關鍵技術

《開放軟體系統的基礎理論與關鍵技術》是依託西安電子科技大學，由段振華擔任項目負責人的重點項目。

基本介紹

• 中文名：開放軟體系統的基礎理論與關鍵技術
• 項目類別：重點項目
• 項目負責人：段振華
• 依託單位：西安電子科技大學

中文摘要

開放軟體系統已被廣泛地套用於載人航天、電子對抗、飛彈攔截和網路交易等領域。這些套用要求開放軟體系統必須是正確的、可靠的和安全的系統。如何構建這樣一個開放軟體系統已成為科學界關注的挑戰性課題。本項目擬將基於模型驅動的開發方法與測試、仿真和驗證技術有機結合，以保障開放軟體系統的正確性和可靠性。主要研究：構建開放軟體系統的模型驅動理論與方法，包括需求獲取與建模、模型演化與確認、服務構建與驗證和服務組合與最佳化；以及適合開放軟體系統的測試、仿真與驗證理論與方法，並將其融入到開放軟體系統開發過程的各個階段。並以網路拍賣雲計算系統的開發為示範，展示本項目所建立的理論與技術在實際中的套用。

結題摘要

開放軟體系統已被廣泛地套用於載人航天、電子對抗、飛彈攔截和網路交易等領域。這些套用要求開放軟體系統必須是正確的、可靠的和安全的系統。如何構建這樣一個開放軟體系統已成為科學界關注的挑戰性課題。項目以模型驅動為基礎，研究了保障開放軟體系統的正確性和可靠性的開發方法與測試、仿真和驗證技術。主要研究了構建開放軟體系統的模型驅動理念與方法中需求獲取與建模、模型演化與確認、服務構建與驗證和服務組合與最佳化，以及開放軟體系統的測試、仿真與驗證理論與方法。取得了APTL邏輯系統及其邏輯規則、EMSVL、PTL的符號模型檢測算法、MSVL形式語義和公理系統、基於抽象精化的模型檢測理論與方法、基於CF的PPTL判定算法等重要成果。在IEEE Transactions on Software Engineering， Theoretical Computer Science，Formal Aspects of Computing等著名國際期刊，和ICSE、IJCAI等重要國際會議發表或錄用論文118篇，其中SCI檢索32篇，EI檢索110篇；培養優青1名、博士8名、碩士研究生62名；授權專利20項，正在申請的專利13項；項目期內組織國內會議2次、合作組織國際會議5次、邀請國內外知名學者講學29人次、參加國際會議數十次；出版學術專著1部；獲得教育部自然科學一等獎1項、陝西省科學技術進步一等獎1項；獲得軟體著作權3項。