首页> 中文会议>中国电子学会电子系统工程分会第二十一届信息化理论学术研讨会 >一种基于SMV模型的指挥信息系统仿真验证方法设计与实现

一种基于SMV模型的指挥信息系统仿真验证方法设计与实现

页面导航

摘要
著录项
相似文献
相关主题

摘要

随着计算机软件应用的深入,人们对软件的质量提出了更高的要求.首先以SysML状态机模型为焦点,提出一种将状态机图自动转换为SMV模型的机制,其次对指挥信息系统的指挥作战模块进行SysML状态机建模并转化为SMV模型,最后利用计算树逻辑CTL通过模型检查工具NuSMV,实现对SMV模型的仿真验证.该验证方法保证了指挥信息系统的正确性.

著录项

来源
《中国电子学会电子系统工程分会第二十一届信息化理论学术研讨会》|2014年|6-14|共9页
会议地点苏州
作者
陈静; 钱一鸣; 王泊涵;
展开▼
作者单位

中国电子学会电子系统工程分会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类军队指挥学;
关键词
指挥信息系统; 作战模块; 状态机; 仿真验证方法; SMV模型;

相似文献

中文文献
外文文献
专利

1. 基于XPEmbedded的警务区SMS指挥平台的设计与实现 [J] . 陈旺 . 电脑知识与技术 . 2009,第029期
2. 一种基于NuSMV模型检测的服务组合编制方法 [J] . 孙杰 ,蒋静 ,郭晓华 . 青岛大学学报（自然科学版） . 2014,第003期
3. 基于模糊层次分析法的指挥信息系统仿真试验可信性评估 [J] . 綦磊升 ,张晓娜 ,门星火 . 软件工程 . 2018,第001期
4. 基于模糊层次分析法的指挥信息系统仿真试验可信性评估 [J] . 綦磊升 ,张晓娜 ,门星火 . 软件工程师 . 2018,第001期
5. 基于组件化指挥信息系统仿真验证技术 [J] . 徐文元 ,李皓 . 火力与指挥控制 . 2018,第010期
6. 面向精确打击的防空指挥信息系统仿真研究 [C] . Zhu Ying-hao ,朱英浩 . 第17届中国系统仿真技术及其应用学术年会（17th CCSSTA 2016) . 2016
7. 一种基于SMT和BP的多线程程序验证方法 [A] . 胡桃 . 2019

一种基于SMV模型的指挥信息系统仿真验证方法设计与实现

摘要

著录项

相似文献

相关主题

期刊订阅