1月14日，國家973計劃項目“安全攸關軟件系統的構造與質量保障方法研究”啟動會在5號樓四層中會議室順利召開。參加會議的有科技部基礎研究管理中心辛圣煒、中科院前沿科學與教育局白雪瑞，973計劃顧問組專家林惠民院士，973計劃信息領域咨詢組專家錢華林研究員、劉志勇研究員（本項目責任專家）、錢德沛教授（本項目責任專家），本項目指導專家周巢塵院士、唐濤教授、金海教授，以及項目組科研骨干。軟件所所長李明樹研究員、科技處長滕東興研究員參加了會議。

　　李明樹首先代表軟件所感謝各位專家在百忙之中出席會議，并對科技部、中科院在項目立項和申請過程中給予的支持和幫助以及項目參與單位和項目組全體成員在申請過程中的合作與支持表示感謝。辛圣煒博士對項目組表示祝賀，并簡要介紹了973項目的管理規定。白雪瑞博士從團隊構成、前期研究等方面對項目給予了肯定，并代表前沿局感謝科技部對本次立項的支持。

　　項目首席科學家張健研究員介紹了項目的總體情況，隨后三個子課題分別從軟件需求與設計的形式建模與驗證、測試與分析、運行監控與行為預測等方面匯報了主要研究目標、研究內容及近期研究計劃。

　　張健研究員代表項目組為指導專家頒發了聘書。隨后，結合項目組的匯報，各位專家從各自的角度對項目組提出了一些建議。專家們希望項目組勇于創新，加強合作，在基礎研究方面取得有國際影響的重要成果，同時為我國研制一些重要的安全攸關軟件系統做出實質性貢獻。

　　啟動會現場