7月29日，應計算機科學國家重點實驗室邀請，中國科學院數學與系統科學研究院劉卓軍研究員到軟件所做學術交流，并作題為《“軟件安全”的一些問題》的學術講座，報告會由林惠民院士主持。

盡管科學家和工程師做出了大量努力，以融合了軟件為重要特征的民用及軍用的復雜系統還是未能根除事故。軟件安全（safety）的代表性學者之一是Nancy G. Leveson，其為美國麻省理工學院教授、美國國家工程院院士。Leveson教授發明了Safeware 一詞，以指安全的軟件系統，在她1995 年的專著《Safeware》 中，Leveson 教授提出了如何將安全植入系統和軟件中的技術路線。

報告中，劉卓軍研究員通過例舉歷史上的一些因軟件缺陷導致事故的案例，闡述了軟件系統事故的主要根源，以及如何在軟件的去求分析、建模設計、仿真與開發等環節中提高軟件的安全性。他表示，軟件本身沒有危險，只有當軟件執行了涉及到硬件或物理環境的系統功能時，融合了軟件的復雜系統才會具有危險性。在危害情形出現時是硬件引發了損失，如爆炸物、輻射設備、飛行控制器、化學品等；然而，軟件成為激發或控制的因素。 

隨后，劉卓軍研究員還講到軟件安全的一些行業標準，如航空領域的DO-178B等。他強調軟件安全既充滿巨大挑戰，也蘊含著諸多有重要影響的尚待解決的問題。

劉卓軍現為中國科學院數學與系統科學研究院研究員，教授、博士生導師。他在軟件安全領域有多年的研究與工程實踐經驗，曾為多個重要民用及軍用部門提供軟件安全咨詢。 

劉卓軍研究員作報告