空天防御2025，Vol.8Issue(2)：125-135,11.
数字线程中需求与架构模型协同设计与一致性分析方法研究
Research on Collaborative Design and Consistency Analysis Method of Requirement and Architecture Model in Digital Thread
郭朕凯 1郭姣姣 1姜海波1
作者信息
- 1. 烜翊数智(上海)科技有限公司,上海 201100
- 折叠
摘要
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.关键词
数字工程/数字线程/基于模型的系统设计/需求模型/架构模型/SysML/测试用例自动生成Key words
digital engineering/digital thread/model based system design/requirements model/architecture model/SysML/test case auto generation分类
自科综合引用本文复制引用
郭朕凯,郭姣姣,姜海波..数字线程中需求与架构模型协同设计与一致性分析方法研究[J].空天防御,2025,8(2):125-135,11.
