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.
郭朕凯, 郭姣姣, 姜海波. 数字线程中需求与架构模型协同设计与一致性分析方法研究[J]. 空天防御, 2025, 8(2): 125-135.
GUO Zhenkai, GUO Jiaojiao, JIANG Haibo. Research on Collaborative Design and Consistency Analysis Method of Requirement and Architecture Model in Digital Thread. Air & Space Defense, 2025, 8(2): 125-135.
