10月8日至10日，為推動我國安全攸關軟件技術的研究，軟件所組織并舉辦的2017年度“安全攸關軟件研討會”在北京召開。參加會議的有周巢塵、林惠民、何新貴、唐濤、馬華東、張建偉、葉宏、楊坤、董云衛、艾駿等專家以及國外專家E.-R. Olderog，Martin Fr?nzle，Anders Ravn。參加會議的還有來自中國科學院軟件研究所、北京交通大學、國防科技大學、南京大學、中國航天二院706所等多所科研機構、高校的學者和研究生。軟件所張健研究員主持會議。 

　　會上，張健研究員介紹了國家973計劃項目“安全攸關軟件系統的構造與質量保障方法研究”近期的研究進展，Olderog教授介紹了歐洲AVACS項目的總體情況。與會專家就安全攸關軟件的建模、驗證、測試、分析與評估的方法，以及軌道交通、航空、航天領域軟件研制的關鍵問題展開了討論。 

　　與會代表希望進一步加強交流與合作，爭取在安全攸關軟件基礎理論和技術方法方面取得有國際影響的成果，為我國研制重要的安全攸關軟件系統做出實質性貢獻。 

研討會現場