|
|
|
| Research on Collaborative Design and Consistency Analysis Method of Requirement and Architecture Model in Digital Thread |
| GUO Zhenkai， GUO Jiaojiao， JIANG Haibo |
| Shanghai ShareE Technology Co.， Ltd.， Shanghai 201100， China |
|
|
|
|
Abstract For the digital design of complex spacecraft equipment systems, digital thread technology is mainly used to design and develop a requirements model, which is based on the top-level operational conceptual scenario and item requirements design, and an architecture model, which is based on SysML for sequence diagram and state machine diagram design, in complex spacecraft equipment domains. By using digital thread technology, this paper proposed some ideas and methods, such as the collaborative design of the requirements model and architecture model using requirements tracing technology and consistency analysis methods between requirement and architecture model using formal checking and automatic test case generation. At last, this study implemented consistency analysis and verification for the requirements and architecture models in the digital thread.
|
|
Received: 29 July 2024
Published: 23 May 2025
|
|
|
|
|
|
| [1] |
WANG Weiping, CHEN Lu, WANG Junmin, LI Xiaobo, ZHU Zhi. Progress Review and Technical Conception on the Digital Mission Engineering Research for Kill-Chain System-of-Systems[J]. Air & Space Defense, 2024, 7(5): 8-17. |
| [2] |
GUAN Xinping, ZHANG Zhijun, JIANG Haibo, ZHANG Ting, GU Zhichao. Theoretical Foundations and Practical Implementations of Digital Engineering for Equipment[J]. Air & Space Defense, 2024, 7(5): 1-7. |
| [3] |
ZHANG Xue. Research on the Progress of US Military Digital Transformation[J]. Air & Space Defense, 2023, 6(4): 12-16. |
|
|
|
|
2025, Vol. 8 
