基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
主要介绍了一种软件建模机制和模型验证方法,并结合弹载软件需求进行了模型实例的构建.试验结果表明,该方法有助于提高弹载软件的质量并缩短研制周期,满足导弹的整体研制需求.
推荐文章
基于模型的设计在弹载飞行控制器中软件实现的应用
基于模型的设计
弹载飞行控制器
软件实现
总线式弹载控制网络的DSPN建模与性能分析
弹载控制网络
确定与随机Petri网
性能指标
1553B总线
基于SCADE的无人机自主导航飞行软件设计
SCADE
无人机
高安全性
自主导航
软件设计
基于SCADE与QNX平台的列车测速定位安全软件
测速定位
系统建模
安全软件
高安全性应用开发环境
形式化验证
QNX
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 SCADE在弹载软件建模中的应用
来源期刊 航空兵器 学科 工学
关键词 软件开发环境 弹载软件 软件建模 模型覆盖率 软件安全
年,卷(期) 2007,(3) 所属期刊栏目 仿真、试验与计算机技术
研究方向 页码范围 49-53
页数 5页 分类号 TP311.52
字数 3934字 语种 中文
DOI 10.3969/j.issn.1673-5048.2007.03.012
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 宋志刚 16 254 6.0 15.0
2 邓志云 2 13 1.0 2.0
3 马金梭 1 12 1.0 1.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (1)
共引文献  (5)
参考文献  (2)
节点文献
引证文献  (12)
同被引文献  (12)
二级引证文献  (27)
1988(1)
  • 参考文献(0)
  • 二级参考文献(1)
2000(1)
  • 参考文献(1)
  • 二级参考文献(0)
2001(1)
  • 参考文献(1)
  • 二级参考文献(0)
2007(1)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(1)
  • 二级引证文献(0)
2007(1)
  • 引证文献(1)
  • 二级引证文献(0)
2008(3)
  • 引证文献(3)
  • 二级引证文献(0)
2010(1)
  • 引证文献(1)
  • 二级引证文献(0)
2011(7)
  • 引证文献(3)
  • 二级引证文献(4)
2012(1)
  • 引证文献(0)
  • 二级引证文献(1)
2013(1)
  • 引证文献(1)
  • 二级引证文献(0)
2014(3)
  • 引证文献(0)
  • 二级引证文献(3)
2015(6)
  • 引证文献(1)
  • 二级引证文献(5)
2016(6)
  • 引证文献(0)
  • 二级引证文献(6)
2017(4)
  • 引证文献(0)
  • 二级引证文献(4)
2018(1)
  • 引证文献(1)
  • 二级引证文献(0)
2019(4)
  • 引证文献(1)
  • 二级引证文献(3)
2020(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
软件开发环境
弹载软件
软件建模
模型覆盖率
软件安全
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
航空兵器
双月刊
1673-5048
41-1228/TJ
大16开
河南省洛阳市030信箱3分箱
1964
chi
出版文献量(篇)
2141
总下载数(次)
10
总被引数(次)
8123
论文1v1指导