-
题名面向对象的弹载软件仿真平台方案设计
被引量：3
- 1
-
-
作者
靳凌
张文山
-
机构
中国空空导弹研究院
-
出处
《航空兵器》
2003年第6期14-15,共2页
-
文摘
概述了一种弹载软件仿真平台的设计思路,仿真平台的设计采用了结构化和面向对象的设计思想,并且对其中的关键技术进行了探讨。
-
关键词
面向对象技术
弹载软件
软件仿真平台
设计思想
仿真实验
导弹
-
分类号
TJ760.39
[兵器科学与技术—武器系统与运用工程]
TP391.9
[自动化与计算机技术—计算机应用技术]
-
-
题名SCADE在弹载软件建模中的应用
被引量：7
- 2
-
-
作者
邓志云
宋志刚
马金梭
-
机构
中国空空导弹研究院
爱斯特尔技术公司
-
出处
《航空兵器》
2007年第3期49-53,共5页
-
文摘
主要介绍了一种软件建模机制和模型验证方法,并结合弹载软件需求进行了模型实例的构建。试验结果表明,该方法有助于提高弹载软件的质量并缩短研制周期,满足导弹的整体研制需求。
-
关键词
软件开发环境
弹载软件
软件建模
模型覆盖率
软件安全
-
Keywords
software development environment
missile-borne software
software modeling
model test coverage
software security
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名弹载软件可靠性保证方法研究
被引量：1
- 3
-
-
作者
马聪颖
-
机构
航空工业总公司第○一四中心
-
出处
《航空兵器》
1997年第4期30-34,共5页
-
文摘
对软件可靠性的内涵和特征进行了具体的阐述,并对弹载计算机软件的特点进行了分析,在此基础上提出了用于弹载软件可靠性的保证方法和具体实现措施。
-
关键词
弹载软件
可靠性
保证方法
导弹
-
分类号
TJ765.232
[兵器科学与技术—武器系统与运用工程]
-
-
题名一种弹载软件设计方法及其开发环境原型
- 4
-
-
作者
黄士林
石晓郁
杨志斌
胡凯
胡建平
-
机构
北京航空航天大学计算机学院
中国空空导弹研究院
-
出处
《航空兵器》
2009年第1期34-38,共5页
-
基金
航空科学基金(20060151003)
-
文摘
面向未来多目标、超远距的空空导弹发展需求,基于多处理器的分布式并行处理系统及其开发环境是弹载软件发展的方向。在保证系统可靠性、可移植性以及实时性的前提下,为提高软件开发效率、降低开发成本,对弹载软件系统的设计与开发方法有了更高的要求。本文基于新型航空嵌入式实时系统体系结构描述语言标准AADL,提出针对的弹载软件设计与分析的方法和基于实时中间件的方法,设计了面向用户的弹载软件开发支持环境的原型系统,从而可支持形成一体化的弹载软件设计、分析与开发框架。
-
关键词
弹载嵌入式实时软件
AADL
VSIPL++
实时中间件
-
Keywords
missile-borne embeded real-time software
AADL
VSIPL＋＋
real-time middleware
-
分类号
TJ95
[兵器科学与技术—武器系统与运用工程]
-
-
题名一种弹载嵌入式软件数学模型测试方法的设计与实现
被引量：2
- 5
-
-
作者
刘飞
蒲海峰
李柯达
谢菁珠
李平
任文真
-
机构
中国兵器工业第
-
出处
《弹箭与制导学报》
CSCD
北大核心
2016年第3期25-27,39,共4页
-
文摘
为解决弹载嵌入式软件中数学模型测试存在输入不可控、通用性低等问题,文中基于弹载嵌入式软件中数学模型的独立性提出了一种新的测试方法。首先,提取数学模型代码,开发驱动程序和桩程序来实现数据的输入;其次,依据数学模型相关文档,利用Matlab进行模型搭建;最后,将提取出的数学模型代码的输出与Matlab搭建的模型输出进行对比,得到测试结果。在实际测试中,测试结果准确,表明该方法具有有效性和通用性。
-
关键词
弹载嵌入式软件
数学模型
软件测试
-
Keywords
missile-bome embedded software
mathematical model
software testing
-
分类号
TJ760.6
[兵器科学与技术—武器系统与运用工程]
-
-
题名基于增量模型的弹载导航软件需求分析研究
被引量：1
- 6
-
-
作者
张巧
肖燕
黄晓芳
梁琪
-
机构
国营
-
出处
《信息通信》
2016年第9期28-30,共3页
-
基金
中国兵器装备集团公司制导航空弹药软件研制技术体系研究项目
-
文摘
为适应制导航弹武器系统对需求变化响应的需求,文章以增量模型作为弹载导航软件开发的活动基准,分析了该模型在弹载软件的应用前景,构建了一套弹载导航软件的需求框架,指明了需求分析时必须结合人员、环境因素和使用场景,着重关注非功能性需求,强化需求管理三个相对薄弱点。
-
关键词
需求分析
弹载导航软件
需求框架
非功能性需求
-
Keywords
requirement analysis
missile-borne navigation software
requirement framework
non-functional requirement
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名弹载专用计算机工作软件测试分析
- 7
-
-
作者
翟庆鹰
于永清
-
机构
海军驻天津
-
出处
《海军航空工程学院学报》
2005年第6期651-654,共4页
-
文摘
弹载专用计算机软件是影响导弹飞行的关键软件,在研制单位进行软件测试后,应由监造单位组织第三方独立的测试.文中介绍了软件测试的体会,强调对飞行控制软件的测试需要一定的理论支持和丰富的实践经验,在软件测试中,对软件设计提出了修改意见,以加强软件研制的质量监督.
-
关键词
弹载机软件
质量控制
软件测试
-
Keywords
rnissile-bome computer software
quality control
software check
-
分类号
TP319
[自动化与计算机技术—计算机软件与理论]
-
-
题名反坦克导弹软件系统指标体系研究
被引量：2
- 8
-
-
作者
赵曙光
孙娟芬
杜佳原
刘凤琪
-
机构
北京特种机电技术研究所
哈尔滨工程大学机电工程学院
-
出处
《航空兵器》
CSCD
北大核心
2021年第6期104-110,共7页
-
文摘
反坦克导弹武器是传统的制导弹药,具有精度高、毁伤效能好、使用灵活的特点。而传统的反坦克导弹经过现代化的升级改造,配备相应的软件系统,更加适应当前信息化作战需求。本文首先分析反坦克导弹系统的软件组成,从反坦克导弹应用场景需求出发,通过研究导弹软件系统的指标体系,提出指标体系的质量符合性、规范性、科学性等设计原则,总结出反坦克导弹软件系统的功能、性能、安全性、保密性、可靠性、易用性、可移植性、软件工程等通用指标,在应用场景需求维度上具有重要意义。
-
关键词
反坦克导弹
弹载软件
系统组成
指标体系
标准
-
Keywords
anti-tank guided missile
missile-borne software
system composition
index system
standard
-
分类号
TJ415.2
[兵器科学与技术—火炮、自动武器与弹药工程]
TJ761
[兵器科学与技术—武器系统与运用工程]
-
