日前，計算機系網格研究中心曾國蓀、閆春鋼教授，分別接到國家基金委通知，他（她）們申請的“支持自驗證自演化的可信網絡軟件體系結構及其機理”和“面向可信管理的軟件病態模型、機理及理論研究”兩課題，獲得國家“可信軟件基礎研究”2007年國家基金重大研究計劃課題資助。
國家重大研究計劃“可信軟件基礎研究”，是針對我國信息化發展和重大工程應用對可信軟件的戰略需求，以國家關鍵應用領域中軟件可信性問題為主攻目標，為改善國家重大工程中的軟件可信性提供科學支撐前瞻性研究。通過該項的研究，以促進我國軟件從傳統的單一度量理論到綜合性的可信度量理論及其構造方法的集成得到升華，提高我國在可信軟件領域的原始創新能力和國際影響力，為國家相關重大計劃和工程的可信軟件研發提供科學支撐，培養一批高水平的研究人才，促進我國軟件產業的崛起和發展。
據悉，本重大研究計劃主要以“培育項目”、“重點支持項目”和“集成項目”的形式予以資助。2007年度重點支持領域主要為“培育項目”和“重點支持項目”。其中資助“培育項目”40項，“重點支持項目”5項左右，2007年度擬資助項目總經費約3300萬元。（毛廣山） 發布日期：2008-03-07
