搜索到189篇“ 航天型号软件“的相关文章
- 面向航天型号软件的混成建模语言研究被引量：1
- 2021年
- 随着我国航天事业的快速发展,软件在航天器中的作用和地位越来越突出,航天软件逐渐成为航天型号任务成败的关键之一.航天型号软件普遍具有实时性高、可靠性要求高、运行环境复杂以及航天器结构复杂、资源受限等特点,这给航天型号软件的描述、设计、分析和实现带来了巨大的挑战.嵌入式周期控制系统语言(SPARDL)仅关注了离散时间的动力系统,为了描述物理世界的连续行为,希望发展一种面向航天型号软件建模特征的混成描述语言(HSPARDL),使其能够统一地描述其运行的物理过程与软件的控制行为,以及它们之间的协同交互机制,同时,为其提供严格的形式语义模型确保嵌入式软件设计的正确性和可靠性,最终为航天型号软件的设计和实现提供坚实的理论基础和方法支撑.
- 胡指铭黄丽桃赵涌鑫
- 关键词：航天型号软件
- 大项目管理在航天型号软件研制过程管理中的应用探究被引量：1
- 2020年
- 对软件研制过程进行管理是把控软件研制过程、提升软件研制质量的有效方法,但是如何适应本单位软件研制特点,在不过多增加软件设计人员工作量的基础上做好做实软件研制过程管理,持续提高软件研制质量,需要基层设计人员在实践中不断总结。从改进项目策划和项目监控过程活动、提升管理效率出发,提出了一种大项目管理的软件研制过程管理方法。
- 卫瑞郑洋赵琳康冰
- 关键词：项目策划
- 一种C++Test定制化方法及航天型号软件代码单元静态分析方法
- 本发明公开了一种C++Test定制化方法及航天型号软件代码单元静态分析方法，该定制化方法包括步骤S01：裁剪C++Test中不适用航天型号软件代码单元静态分析的编码规则集；步骤S02：对经所述步骤S01裁剪后适用航天型号...
- 侯晓欢
- 全数字仿真测试环境在航天型号软件测试中的应用
- 航天器信息化程度大幅提升,对航天型号软件的可靠性提出更高要求,因此软件测试在软件研制周期中的地位就显得尤为重要。对于实现航天型号软件的高可靠性和高质量要求,当前软件测试环境还存在很大的局限性。为了解决该问题,并进一步提高...
- 薛帅赵龙胡晓曦
- 关键词：航天型号软件软件测试
- 载人航天型号软件智能化开发技术研究被引量：6
- 2019年
- 载人航天型号软件规模庞大、组成复杂,软件产品具有种类多、差异大、质量要求高、研制流程复杂等特点。随着空间站工程的推进,软件研制任务量和软件复杂度激增,已有软件人员、工具、流程等难以满足软件研制需要,软件过程规范性、产品安全可靠性问题突出,工程的软件研制及管理面临艰巨挑战。为应对这种挑战,通过研究借鉴工业4. 0智能制造核心理念,对型号软件的智能化开发技术进行了探索,包括智能化柔性开发流程、精细化全流程双向需求跟踪、自动化开发活动、自动化文档生成及更新等,设计了智能化的软件开发流水线方案,实现软件产品智能化、规范化、高效率、高质量的开发。
- 史劼吴冉张义
- 关键词：软件工程化智能化
- 基于软件测试的航天型号软件质量保证方法研究
- 航天技术是一个国家科技实力、国防实力和综合国力的重要标志之一,是壮国威、振民心的伟大事业。随着时代变迁和信息技术的发展,航天型号产品系列化、智能化和精确化的发展道路已成为趋势,在航天系统中计算机应用越来越广泛。特别是航天...
- 赵龙梁新建胡晓曦
- 关键词：软件测试航天型号软件
- 航天型号软件配置管理研究被引量：1
- 2018年
- 随着科学技术的发展,我国的航天技术水平得到了快速提高,促使航天领域向多型号、高密度方向发展。其中,型号软件是航天系统中的重要内容,一旦出现质量问题,会形成严重的安全隐患,不利于我国航天事业的发展。对此,笔者介绍了软件配置管理的概念、解决的主要问题、配置管理的过程以及软件配置管理工具的实施相关的内容,详细阐述了如何能更好管理航天型号的软件资源。
- 韩知烨
- 关键词：软件配置管理航天
- 面向航天型号软件的需求管理
- 2018年
- 依据军用软件研制能力成熟度模型(GJB5000A)过程域,将航天型号软件的需求管理过程分为5个实践,重新定义结合敏捷方法的这5个实践,给出基于GJB5000A的航天型号软件敏捷需求管理活动流程图。将需求管理活动流程看作一种工作流,引入Petri网技术建立需求管理活动模型,并通过Petri网可达树和可覆盖树分析方法对建立的模型进行初步分析。最后将定义的需求管理过程实际运用到项目中,证明其科学性和可行性。
- 张慧玲张慧玲张善从
- 关键词：敏捷方法PETRI网
- 一种航天型号软件RS422接口数据通信能力的测试装置被引量：2
- 2017年
- 为了保证基于RS422接口的软件数据通信能力,介绍了一种测试装置。该装置以FPGA测试板卡(下位机)与计算机(上位机)相结合,通过调节波特率、通信数据帧格式、通信数据包之间时间间隔等,实现型号软件数据通信能力的检测。
- 李晓燕张恕明李玉敏翟景升
- 航天型号软件配置管理工作浅析被引量：2
- 2016年
- 本文主要围绕航天型号软件工程化推进中配置管理工作的现状,分析当前软件配置管理方面重点存在的问题,结合CMM方法要求阐述改进的思路和方法。
- 匡晓霞
- 关键词：软件工程化配置管理信息平台
相关作者
- 赵龙
- 作品数：49被引量：16H指数：3
- 供职机构：北京航天控制仪器研究所
- 研究主题：制导炮弹 惯性导航系统 惯性测量系统 卫星导航系统 组合导航
- 张刚
- 作品数：3被引量：0H指数：0
- 供职机构：北京信息控制研究所
- 研究主题：航天型号软件 配置管理工具 航天型号 技术成熟度 集成度
- 付杰
- 作品数：2被引量：1H指数：1
- 供职机构：中国航天
- 研究主题：航天型号软件 航天型号 软件工程化 软件工程标准 仿真建模
- 高铭
- 作品数：28被引量：52H指数：5
- 供职机构：中国科学院
- 研究主题：ZNO纳米棒 光致发光 光学 英文 形貌
- 吴际
- 作品数：1被引量：1H指数：1
- 供职机构：中国航天机电集团公司
- 研究主题：航天型号软件 航天型号 软件项目开发 软件开发 软件工程
