本實驗室以國家和工信部重大需求為導向，密切結合計算機軟件新技術發展的趨勢和新方向，定位于研究自主可控、功能安全與信息安全融合的高安全系統的軟件設計與驗證方法和工具平台等問題，以高安全軟件領域的功能安全和信息安全國際國内标準為指導框架，在高安全軟件的功能安全與信息安全基礎、設計與開發方法、智能化分析、典型應用等多個方面展開基礎和應用基礎研究及關鍵技術攻關，探究高安全軟件的需求建模和驗證方法、系統建模與仿真及驗證平台、代碼自動生成技術、代碼分析和測試方法、面向高安全應用系統的智能數據分析方法、系統信息安全機制以及無人自主智能系統的安全性分析方法，解決當前我國高安全軟件驗證充分性不足、驗證手段單一的突出問題，為高可靠高安全的關鍵軟件研制提供堅實的理論基礎和技術支撐，并引領高安全軟件領域新技術發展和進步，成為我國在高安全軟件質量保障領域内特色鮮明、國内領先、具有重要國際影響的高層次學術交流和促進科技成果轉化的重要基地。實驗室的主要研究方向是：高安全軟件設計與開發方法、高安全軟件智能化分析方法、高安全軟件的質量保障方法、高安全軟件應用研究。

為了促進實驗室對外開放合作，加強與國内外同行間的交流與合作，現面向國内外相關領域研究的科技工作者接受2024年開放課題基金的申請。有關開放課題申報事項如下：

一、 資助方向

1. 高安全軟件設計與開發方法

緻力于高安全軟件功能安全需求分析基礎、高安全軟件功能安全一體化建模與形式化驗證方法以及自動代碼生成技術的研究，基于形式化模型驅動的設計與開發方法和測試與分析相互補充，共同為安全關鍵軟件的高可靠、高安全要求提供保障，并為高安全軟件典型應用研究提供方法和技術支撐。課題選題包含但不限于以下範圍：

1）高安全軟件的功能安全需求分析基礎

2）高安全軟件功能安全建模與形式化驗證方法

3）自動代碼生成技術 

2. 高安全軟件智能化分析方法

研究信息安全漏洞及惡意軟件檢測、數據驅動功能安全智能化分析、高安全軟件的缺陷檢測與修複技術。挖掘潛在漏洞利用規律，建立漏洞安全風險評估模型，關注軟件缺陷定位、預測、調試和修複等自動化方面的研究，為軟件功能安全性提供更多保障。課題選題包含但不限于以下範圍：

1）信息安全漏洞及惡意軟件檢測 

2）數據驅動的功能安全智能化分析

3）高安全軟件的缺陷檢測與修複技術

3. 高安全軟件的質量保障方法

研究數據驅動高安全軟件的缺陷檢測與漏洞挖掘、基于大模型的高安全軟件測試技術。實現對數據驅動高安全軟件缺陷的質量保障方法；通過大模型賦能高安全軟件的質量保障技術，從軟件工程的角度審視大模型時代下的軟件質量保障方法。課題選題包含但不限于以下範圍：

1）數據驅動高安全軟件的缺陷檢測與漏洞挖掘

2）數據驅動高安全軟件的安全性攻擊與防禦

3）基于大模型的高安全軟件測試

4. 高安全軟件應用研究

針對自主可控系統軟件平台研發與自主可控設計與開發環境和面向領域的典型應用研究，研究面向航空航天國産芯片的編譯器，研究面向智能傳感設備的微型操作系統等，研究基于模型驅動的國産化系統設計開發規範，和面向國家重大需求和重大的型号工程中面臨的問題。課題選題包含但不限于以下範圍：

1）自主可控系統軟件平台

2）自主可控設計與開發環境

3）無人自主智能化系統的安全性

二、申請者注意事項

1．申請者資格

（1）計算機科學與技術、軟件工程、人工智能、電子、自動化等相關專業背景，年齡不超過45歲。本實驗室熱忱歡迎和邀請有關領域的國内外科研人員申請與上述研究方向相關的研究課題，特别歡迎國内外博士後人員來實驗室工作，共同推進計算機軟件新技術的發展。

（2）每位申請者隻能申報一個項目。課題組參加人員不能同時參加兩個以上項目的申請（各位申報者在邀請他人參加項目時，務必征求對方的同意），項目申請必須征得申請人所在單位同意并加蓋公章。

2．資助經費及研究周期

計劃本年度審批開放課題項目5-10項左右，每項支持強度2-4萬元。開放課題研究周期為2年。

三、課題申報與評審

1.申報材料要求：開放課題由個人申報，單位推薦。按規定的格式實事求是填寫《高安全系統的軟件開發與驗證技術工業和信息化部重點實驗室開放課題基金申請書》（以下簡稱《申請書》）高安全實驗室開放課題申請書模闆（2024版）.docx。《申請書》一式2份，需申請者所在單位加蓋單位公章後郵寄至實驗室。同時将與紙質申請書完全一緻的電子版材料通過郵件發送至實驗室聯系人。

本年度開放課題項目申報截止日期為2024年4月20日。

2.實驗室将組織實驗室學術委員會及聘請相關領域的專家、學者組成項目評審委員會，嚴格遵循公平、公正、擇優的原則，對申報項目進行評審。

3.獲得開放課題經費資助的研究課題，從接到資助通知之日起開始執行，并在一個月内向實驗室提交課題實施計劃。

4.課題執行過程中，如須改變或推遲計劃，應征得實驗室同意。

5.課題結束後，應向實驗室提交研究工作總結、學術論文、研究報告以及相關的原始材料。

6.研究成果要求：獲得開放課題經費資助的申請人需在開放課題期限内發表至少一篇CCF B類期刊論文/中科院二區及以上的SCI檢索論文/CCF A類會議論文/CCF 中文A類期刊。發表論文時應共同署名本實驗室，不能僅在腳注中加以緻謝。署名單位為：“南京航空航天大學高安全系統的軟件開發與驗證技術工信部重點實驗室”，英文為“Ministry Key Laboratory for Safety-Critical Software Development and Verification (Nanjing University of Aeronautics and Astronautics, Nanjing University of Aeronautics and Astronautics”。未署本實驗室名稱及未标注的，驗收時不計入成果。

四、聯系人及聯系方式

聯系人：陶傳奇

電話：15951080227

郵箱：taochuanqi@nuaa.edu.cn

地址：江蘇省南京市江甯區将軍大道29号伟德victory

郵編：211106