技術(shù)特征：

1.一種基于大語言模型的aadl模型自動生成方法，其特征在于：包括以下步驟：

2.根據(jù)權(quán)利要求1所述的一種基于大語言模型的aadl模型自動生成方法，其特征在于：所述的構(gòu)建安全關(guān)鍵領(lǐng)域aadl知識庫，具體操作包括：

3.根據(jù)權(quán)利要求2所述的一種基于大語言模型的aadl模型自動生成方法，其特征在于：所述的將配對表格中的配對內(nèi)容轉(zhuǎn)換為適合本地大語言模型訓練的數(shù)據(jù)格式，具體包括：

4.根據(jù)權(quán)利要求1所述的一種基于大語言模型的aadl模型自動生成方法，其特征在于：通過lora微調(diào)技術(shù)，將構(gòu)建的安全關(guān)鍵領(lǐng)域aadl知識庫注入到本地大語言模型中，得到微調(diào)后的大語言模型。

5.根據(jù)權(quán)利要求4所述的一種基于大語言模型的aadl模型自動生成方法，其特征在于：所述的通過lora微調(diào)技術(shù)，將構(gòu)建的安全關(guān)鍵領(lǐng)域aadl知識庫注入到本地大語言模型中，得到微調(diào)后的大語言模型，具體包括：

6.根據(jù)權(quán)利要求1所述的一種基于大語言模型的aadl模型自動生成方法，其特征在于：采用rag技術(shù)，將安全關(guān)鍵領(lǐng)域aadl知識庫外掛到微調(diào)后的大語言模型上，得到安全關(guān)鍵軟件專有大語言模型。

7.根據(jù)權(quán)利要求6所述的一種基于大語言模型的aadl模型自動生成方法，其特征在于：所述的采用rag技術(shù)，將安全關(guān)鍵領(lǐng)域aadl知識庫外掛到微調(diào)后的大語言模型上，得到安全關(guān)鍵軟件專有大語言模型，具體操作包括：

8.根據(jù)權(quán)利要求1所述的一種基于大語言模型的aadl模型自動生成方法，其特征在于：輸入至安全關(guān)鍵軟件專有大語言模型中的提示詞為符合提示框架的提示詞；

技術(shù)總結(jié)
本發(fā)明公開了一種基于大語言模型的AADL模型自動生成方法，包括：構(gòu)建安全關(guān)鍵領(lǐng)域AADL知識庫；通過微調(diào)技術(shù)，將構(gòu)建的安全關(guān)鍵領(lǐng)域AADL知識庫注入到本地大語言模型中，得到微調(diào)后的大語言模型；將安全關(guān)鍵領(lǐng)域AADL知識庫外掛到微調(diào)后的大語言模型上，得到安全關(guān)鍵軟件專有大語言模型；輸入提示詞至安全關(guān)鍵軟件專有大語言模型中，得到AADL模型生成結(jié)果；同時本發(fā)明提出一種基于限定自然語言需求模板的提示框架，顯著提升了大語言模型在AADL模型自動生成任務(wù)中的性能。這些措施不僅優(yōu)化了模型對AADL規(guī)范和安全要求的理解，還增強了其在復(fù)雜系統(tǒng)架構(gòu)描述中的自動生成能力，從而在確保系統(tǒng)安全性和可靠性的同時，提高了模型的生成準確性和實用性。

技術(shù)研發(fā)人員：楊志斌,鄒亞新,周勇,林翰鑫
受保護的技術(shù)使用者：南京航空航天大學
技術(shù)研發(fā)日：
技術(shù)公布日：2025/1/9