2017年1月5至7日，由中國科學院軟件研究所承擔的國家973計劃“安全攸關軟件系統的構造與質量保障方法研究”項目2016年度交流會在北京召開。中科院軟件所張健研究員主持會議。參加會議的有林惠民、呂建、劉志勇、錢德沛、何新貴、梅宏、王懷民、蔣昌俊、呂榮聰等專家，以及各課題負責人和學術骨干共計40余人。

　　會議期間，項目首席科學家張健研究員介紹了項目2016年度的總體進展情況，各課題負責人分別介紹了課題的年度進展。與會專家就項目的進展匯報進行了討論，對課題間的進一步合作提出了建設性意見，為項目順利完成奠定了良好的基礎。 

　　項目組將進一步加強合作，爭取在基礎理論和技術方法等方面為我國研制一些重要的安全攸關軟件系統做出實質性貢獻。

　　該項目參加單位有中國科學院軟件研究所、南京大學、國防科技大學、北京交通大學。

　　會議現場

　　交流討論