【技術實現步驟摘要】
本專利技術涉及一種基于sysml語言的功能模型自動化檢查方法，屬于航天產品數字化設計領域。
技術介紹
1、近年來，基于模型的系統工程技術以其描述規范、理解一致、便于跨領域數據模型傳遞、數據更改和追溯等優勢，成為國內外復雜系統設計研究的熱點，也是解決國內外航天產品復雜系統設計的有效手段。在新一代航天產品領域，采用sysml語言構建功能模型，能實現設計與驗證，能提升航天產品核心能力，有效支撐航天產品數字化建設。
2、隨著mbse技術的應用，功能模型成為系統方案設計信息表達的唯一數據源，將作為后續系統方案驗證的數據基礎，因此功能模型的正確性檢查在航天產品研制過程中顯得尤為重要。但是，一方面，由于設計人員的設計習慣不同，設計水平參差不齊，對功能建模工具熟悉程度不同等，在功能模型的需求完備性、接口及信號設計正確性等方面可能存在問題，并最終影響到航天產品研制質量，由此引起設計反復；另一方面，面向新一代航天產品基于sysml語言構建形成的功能模型，涉及的sysml圖多達數千張，模型元素數量龐大，模型架構較為復雜，采用人工方法進行檢查存在較大的局限性，需要耗費大量的檢查時間，并且檢查效率較低，可能影響航天產品的研制進度，難以保證功能模型的質量滿足產品的需要。
3、綜上所述，亟需研究基于sysml語言的功能模型自動化檢查方法，在減少人工檢查方式帶來的效率較為低下、時間成本較高等問題的同時，保證功能模型的正確性和完整性。
技術實現思路
1、本專利技術解決的技術問題是：克服現有技
2、本專利技術的技術方案是：一種基于sysml語言的功能模型自動化檢查方法，包括：
3、基于sysml語言，對功能模型需求完備性進行自動化檢查；
4、基于sysml語言，對功能模型接口、信號設計的正確性進行自動化檢查。
5、所述基于sysml語言的功能模型需求完備性自動化檢查方法，包括：
6、定義功能模型中需求完備性要求，基于ocl語言根據需求完備性要求編寫需求完備性檢查規則代碼；
7、將需求完備性檢查規則代碼部署至待檢查的功能模型中；
8、運行待檢查的功能模型，展示功能模型需求完備性檢查結果，自動篩選出功能模型中不滿足需求完備性要求的需求條目，并展示該條需求完備性檢查報錯信息。
9、所述功能模型中需求完備性要求，即功能模型中具備繼承、細化、追溯、滿足的需求關系。
10、所述將需求完備性檢查規則代碼部署至待檢查的功能模型中，包括：在待檢查的航天產品功能模型中建立“需求檢查規則”實時仿真檢查類型文件夾，在該文件夾中建立檢查“需求完備性檢查”約束，將需求完備性檢查規則ocl代碼嵌入該約束，并設置約束屬性為可調用，約束類型為需求類型。
11、所述運行待檢查的功能模型，展示功能模型需求完備性檢查結果，自動篩選出功能模型中不滿足需求完備性要求的需求條目，并展示該條需求完備性檢查報錯信息，包括：
12、運行待檢查的功能模型，未具備細化需求關系的需求被篩選出來，同時展示出該需求條目錯誤信息，顯示其錯誤類型定義為“warning”,錯誤描述為“需求未被功能模型細化”，錯誤展示效果為標黃高亮；未具備追溯需求關系的需求被篩選出來同時顯示錯誤類型為“error”,錯誤內容為“需求未被下游需求追溯”。
13、所述報錯信息中包括錯誤類型、錯誤描述、錯誤嚴重程度。
14、所述基于sysml語言，對功能模型接口、信號設計的正確性進行自動化檢查，包括：
15、定義接口、信號設計正確性要求，并根據上述要求對應編寫接口、信號設計正確性檢查規則代碼；
16、將接口、信號設計正確性檢查規則代碼部署至待檢查的功能模型；
17、運行功能模型，展示功能模型接口、信號設計正確性檢查規則結果，自動篩選出功能模型中不滿足接口、信號設計正確性要求的接口或信號，并展示該接口或信號設計正確性檢查報錯信息。
18、所述接口、信號設計正確性要求包括接口設計正確性要求和信號設計正確性要求；接口設計正確性要求指系統功能模型邏輯仿真時完全涵蓋該層級系統的外部接口，否則接口設計不正確；信號設計正確性要求指總體功能模型中設計交互的信號應在分系統功能模型設計交互信號時完全涵蓋，否則信號設計不正確。
19、所述將接口、信號設計正確性檢查規則代碼部署至待檢查的功能模型，包括：在待檢查的航天產品功能模型中建立“需求檢查規則”實時仿真檢查類型文件夾，在文件夾中建立檢查“需求完備性檢查”約束，將需求完備性檢查規則ocl代碼嵌入該約束，并設置約束屬性為可調用，約束類型為需求類型。
20、所述運行功能模型，展示功能模型接口、信號設計正確性檢查規則結果，自動篩選出功能模型中不滿足接口、信號設計正確性要求的接口或信號，并展示該接口或信號設計正確性檢查報錯信息，包括：運行待檢查的功能模型，未具備細化需求關系的需求被篩選出來，同時展示出該需求條目錯誤信息，顯示其錯誤類型為“warning”,錯誤描述為“需求未被功能模型細化”，錯誤展示效果為標黃高亮；未具備追溯需求關系的需求被篩選出來同時顯示錯誤類型為“error”，錯誤內容為“需求未被下游需求追溯”，錯誤展示效果為標紅高亮。
21、本專利技術與現有技術相比的優點在于：
22、(1)將功能模型相關標準要求和設計經驗固化在功能模型自動化檢查方法中，通過應用檢查規則，減少了人工主觀因素對功能模型質量的影響，并統一了功能模型的檢查標準。
23、(2)采用功能模型自動化檢查方法，降低了檢查時間和人力成本，提高了功能模型的檢查效率，自動化驗證功能模型是否存在因功能建模不規范等問題，避免在設計中由于低層次問題對功能模型進行頻繁的更改，確保功能模型滿足后續設計驗證要求。
24、(3)采用功能模型自動化檢查方法，提供了總體與分系統基于功能模型開展數據交換、功能模型一致性檢驗的有效手段，提高總體與分系統各廠所模型與數據傳遞的質量和效率。
本文檔來自技高網...【技術保護點】
1.一種基于SysML語言的功能模型自動化檢查方法，其特征在于，包括：
2.根據權利要求1所述的一種基于SysML語言的功能模型自動化檢查方法，其特征在于，所述基于SysML語言的功能模型需求完備性自動化檢查方法，包括：
3.根據權利要求2所述的一種基于SysML語言的功能模型自動化檢查方法，其特征在于，所述功能模型中需求完備性要求，即功能模型中具備繼承、細化、追溯、滿足的需求關系。
4.根據權利要求2所述的一種基于SysML語言的功能模型自動化檢查方法，其特征在于，所述將需求完備性檢查規則代碼部署至待檢查的功能模型中，包括：在待檢查的航天產品功能模型中建立“需求檢查規則”實時仿真檢查類型文件夾，在該文件夾中建立檢查“需求完備性檢查”約束，將需求完備性檢查規則OCL代碼嵌入該約束，并設置約束屬性為可調用，約束類型為需求類型。
5.根據權利要求2所述的一種基于SysML語言的功能模型自動化檢查方法，其特征在于，所述運行待檢查的功能模型，展示功能模型需求完備性檢查結果，自動篩選出功能模型中不滿足需求完備性要求的需求條目，并展示該條需求完
6.根據權利要求2所述的一種基于SysML語言的功能模型自動化檢查方法，其特征在于，所述報錯信息中包括錯誤類型、錯誤描述、錯誤嚴重程度。
7.根據權利要求1所述的一種基于SysML語言的功能模型自動化檢查方法，其特征在于，所述基于SysML語言，對功能模型接口、信號設計的正確性進行自動化檢查，包括：
8.根據權利要求1所述的一種基于SysML語言的功能模型自動化檢查方法，其特征在于，所述接口、信號設計正確性要求包括接口設計正確性要求和信號設計正確性要求；接口設計正確性要求指系統功能模型邏輯仿真時完全涵蓋該層級系統的外部接口，否則接口設計不正確；信號設計正確性要求指總體功能模型中設計交互的信號應在分系統功能模型設計交互信號時完全涵蓋，否則信號設計不正確。
9.根據權利要求1所述的一種基于SysML語言的功能模型自動化檢查方法，其特征在于，所述將接口、信號設計正確性檢查規則代碼部署至待檢查的功能模型，包括：在待檢查的航天產品功能模型中建立“需求檢查規則”實時仿真檢查類型文件夾，在文件夾中建立檢查“需求完備性檢查”約束，將需求完備性檢查規則OCL代碼嵌入該約束，并設置約束屬性為可調用，約束類型為需求類型。
10.根據權利要求1所述的一種基于SysML語言的功能模型自動化檢查方法，其特征在于，所述運行功能模型，展示功能模型接口、信號設計正確性檢查規則結果，自動篩選出功能模型中不滿足接口、信號設計正確性要求的接口或信號，并展示該接口或信號設計正確性檢查報錯信息，包括：運行待檢查的功能模型，未具備細化需求關系的需求被篩選出來，同時展示出該需求條目錯誤信息，顯示其錯誤類型為“warning”,錯誤描述為“需求未被功能模型細化”，錯誤展示效果為標黃高亮；未具備追溯需求關系的需求被篩選出來同時顯示錯誤類型為“error”，錯誤內容為“需求未被下游需求追溯”，錯誤展示效果為標紅高亮。
...【技術特征摘要】
1.一種基于sysml語言的功能模型自動化檢查方法，其特征在于，包括：
2.根據權利要求1所述的一種基于sysml語言的功能模型自動化檢查方法，其特征在于，所述基于sysml語言的功能模型需求完備性自動化檢查方法，包括：
3.根據權利要求2所述的一種基于sysml語言的功能模型自動化檢查方法，其特征在于，所述功能模型中需求完備性要求，即功能模型中具備繼承、細化、追溯、滿足的需求關系。
4.根據權利要求2所述的一種基于sysml語言的功能模型自動化檢查方法，其特征在于，所述將需求完備性檢查規則代碼部署至待檢查的功能模型中，包括：在待檢查的航天產品功能模型中建立“需求檢查規則”實時仿真檢查類型文件夾，在該文件夾中建立檢查“需求完備性檢查”約束，將需求完備性檢查規則ocl代碼嵌入該約束，并設置約束屬性為可調用，約束類型為需求類型。
5.根據權利要求2所述的一種基于sysml語言的功能模型自動化檢查方法，其特征在于，所述運行待檢查的功能模型，展示功能模型需求完備性檢查結果，自動篩選出功能模型中不滿足需求完備性要求的需求條目，并展示該條需求完備性檢查報錯信息，包括：
6.根據權利要求2所述的一種基于sysml語言的功能模型自動化檢查方法，其特征在于，所述報錯信息中包括錯誤類型、錯誤描述、錯誤嚴重程度。
7.根據權利要求1所述的一種基于sysml語言的功能模型自動化檢查方法，其特征在于，所述基于sysml語言，對功能模型接口、信號設計的正確性進行自動化檢查...
【專利技術屬性】
技術研發人員：周瀟雅，肖進，李佳，寧偉航，顧黎，李亞青，張茜，孫樹森，趙博，朱勇，郭廣鑫，趙雷，李澍，朱學偉，
申請(專利權)人：北京宇航系統工程研究所，
類型：發明
國別省市：
還沒有人留言評論。發表了對其他瀏覽者有用的留言會獲得科技券。