期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
数字线程中需求与架构模型协同设计与一致性分析方法研究
1
作者
郭朕凯
郭姣姣
姜海波
《空天防御》
2025年第2期125-135,共11页
复杂航天器装备系统的数字化设计,较多地采用数字线程技术设计和开发复杂装备的需求模型(基于顶层运行场景和条目化需求设计)和架构模型(基于SysML语言进行时序图和状态机图模型设计)。在数字线程开发技术中,本文提出使用需求追溯技术...
复杂航天器装备系统的数字化设计,较多地采用数字线程技术设计和开发复杂装备的需求模型(基于顶层运行场景和条目化需求设计)和架构模型(基于SysML语言进行时序图和状态机图模型设计)。在数字线程开发技术中,本文提出使用需求追溯技术实现需求模型和架构模型协同设计,使用形式化检查和测试用例自动生成方法进行需求模型和架构模型一致性分析;同时,给出了模型一致性分析验证的实现流程。
展开更多
关键词
数字工程
数字线程
基于模型的系统设计
需求模型
架构模型
SysML
测试用例自动生成
在线阅读
下载PDF
职称材料
题名
数字线程中需求与架构模型协同设计与一致性分析方法研究
1
作者
郭朕凯
郭姣姣
姜海波
机构
烜翊
数
智
(
上海
)
科技
有限公司
出处
《空天防御》
2025年第2期125-135,共11页
文摘
复杂航天器装备系统的数字化设计,较多地采用数字线程技术设计和开发复杂装备的需求模型(基于顶层运行场景和条目化需求设计)和架构模型(基于SysML语言进行时序图和状态机图模型设计)。在数字线程开发技术中,本文提出使用需求追溯技术实现需求模型和架构模型协同设计,使用形式化检查和测试用例自动生成方法进行需求模型和架构模型一致性分析;同时,给出了模型一致性分析验证的实现流程。
关键词
数字工程
数字线程
基于模型的系统设计
需求模型
架构模型
SysML
测试用例自动生成
Keywords
digital engineering
digital thread
model based system design
requirements model
architecture model
SysML
test case auto generation
分类号
N945.12 [自然科学总论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
数字线程中需求与架构模型协同设计与一致性分析方法研究
郭朕凯
郭姣姣
姜海波
《空天防御》
2025
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
