基于模型的特种机任务系统设计初探

吴永胜;秦博;康乐

文中围绕特种机任务系统基于模型的系统工程设计方法,分析了多类型系统工程、体系工程建模语言和方法,提出一种基于模型的多视角设计方法,建立了数字化迭代仿真验证平台,支撑仿真场景、系统逻辑模型、多物理场模型的有效衔接和数字化迭代仿真验证工作。结合特种机任务系统典型功能设计,开展了典型用例场景和功能逻辑模型的设计,并采用基于状态图/活动图和参数图的联合仿真验证方法开展了多专业模型的迭代仿真验证,能够有效地解决系统级多学科联合的需求分析与设计表达难题,避免将问题带入集成试验阶段,缩短研发周期。 (共7页)
PDF全文下载 订阅本刊

安装知网阅读App
手机 · Pad同步看

开通季卡/年卡,优惠更多
立即开通

相似文献

1 张玲 何梦文 吴雪梅 王玉珏 沈晨宇 单昕玥 周宇昕 谢淑芳 皇甫鸿昌 活动图集 辅导员 2016年02期

2 好奇好学 动手动脑 学会发现 开启智慧 小学生导刊(高年级) 2015年Z1期

3 齐建业 李强 余祥 基于形式活动图的协议一致性测试用例生成方法研究 安徽大学学报(自然科学版) 2013年03期

4 李双文 人脑活动图将解开思维奥秘 百科知识 2013年07期

5 曹晓明 可视化教学过程设计研究 中国电化教育 2009年03期

6 朱晓程 薛静 杨彬 闫雪丽 基于资源扩展活动图的并发测试用例生成方法 航天控制 2019年01期

7 徐慧 燕雪峰 周勇 一种基于UML类图和活动图的故障树生成方法 计算机科学 2016年07期

8 惠文涛 周雁舟 邵楠 严亚伟 基于新活动演算的SysML活动图形式化描述 计算机应用与软件 2015年10期

9 肖驰 基于UML活动图模型的测试用例设计 现代计算机(专业版) 2009年07期

10 陈慧峰 余晓菲 蒋建民 UML活动图的正确性检测 软件工程 2018年03期

11 基于SysML模型的需求分析与验证 华东师范大学 2019年

12 面向活动图的代码自动生成技术研究 哈尔滨工业大学 2010年

13 基于Petri网的“系统的系统”的建模与仿真的研究 上海交通大学 2015年

14 基于UML活动图的电信业务过程建模方法 2008'中国信息技术与应用学术论坛论文集(一) 2008年

15 基于CC标准结合UML活动图的安全需求分析方法研究 第二届全国信息安全等级保护技术大会会议论文集 2013年