11月23日，高安全系統的軟件開發與驗證技術工信部重點實驗室在在寶盛水博園大酒店召開第一屆學術委員會第二次會議。重點實驗室學術委員會主任梅宏院士，學術委員會委員金芝、王戟、李宣東、詹乃軍、楊建華、研究員顧斌、葉宏研及重點實驗室主任黃志球、副主任劉志明、嶽濤等出席本次會議。

黃志球從基礎研究進展、關鍵技術突破、重要成果形式等方面對實驗室年度工作情況進行整體彙報。報告指出，本年度實驗室在智能化安全軟件開發、飛控軟件形式化、複雜戰場态勢感知等方面取得較大進展，牽頭KJW創新項目和ZF預研項目，發表了CCF A類論文10篇以上。嶽濤代表重點實驗室從面向複雜工業系統的建模方法、不确定性分析方法、基于搜索的持續優化測試方向等方面對安全軟件建模與分析最新的研究進展進行學術彙報。

學術委員會委員在聽取重點實驗室的工作報告和學術彙報後，對實驗室過去一年取得的各項成績表示肯定，認為建設舉措切實可行，重點體現了基礎性和前沿性，發展規劃思路清晰，建議實驗室進一步加強目标定位和科學問題的凝練，形成有組織的安全關鍵軟件特色的研究方向，并建議依托單位加大對實驗室的支持力度。

本次會議的順利召開，為重點實驗室的進一步發展奠定了良好的基礎，并為十四五期間的發展指明方向。重點實驗室将以本次會議為契機，彙聚力量，激發創新活力，促進重點實驗室工作全面邁上新台階。