-
题名航天型号软件生存周期模型选择指南
被引量：5
- 1
-
-
作者
石柱
何新贵
-
机构
北京航空航天大学
北京系统工程研究所
-
出处
《计算机工程与设计》
CSCD
北大核心
2000年第6期43-47,共5页
-
文摘
文中首先阐述有关生存周期模型的基本概念，简要介绍4个已在国内外航天界得到成功应用的典型生存周期模型：瀑布模型、增量模型、进化模型和基于软件包的生存周期模型，分别给出了这4个生存周期模型的优点、缺点、适用情况以及各生存周期阶段的主要产品和里程碑评审，最后给出选择航天型号软件生存周期模型的基本原则。
-
关键词
软件工程
软件生存周期模型
软件开发
航天型号软件
-
Keywords
software
software engineering
life-cycle
life-cycle model
aerospace software developmenX
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
TP317
[自动化与计算机技术—计算机软件与理论]
-
-
题名航天型号软件项目开发成本估计
- 2
-
-
作者
吴际
汤铭端
-
机构
中国航天机电集团公司二院二○四所
-
出处
《系统工程与电子技术》
EI
CSCD
1999年第10期6-9,14,共5页
-
文摘
基于COCOMO模型并结合中国航天系统型号项目软件开发的特点和现状,讨论了航天型号软件项目开发的成本估计方法。同时指出了成本估计模型是开放的,使用者可以根据具体的环境和人员以及项目的具体特性对它进行剪裁,以使成本的估计更加理想。
-
关键词
航天型号软件
软件开发
成本估计
软件工程
-
Keywords
Software Engineering Software Metrics and Measurement Effort Estimation COCOMO Model
-
分类号
V57
[航空宇航科学与技术—航空宇航推进理论与工程]
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名面向航天型号软件的混成建模语言研究
被引量：1
- 3
-
-
作者
胡指铭
黄丽桃
赵涌鑫
-
机构
华东师范大学软件工程学院
北京轩宇信息技术有限公司
-
出处
《空间控制技术与应用》
CSCD
北大核心
2021年第2期25-31,共7页
-
基金
国家重点研发计划资助项目(2019YFB2102600)
高可信嵌入式软件工程技术实验室资助项目(HCESET-2019-1)。
-
文摘
随着我国航天事业的快速发展,软件在航天器中的作用和地位越来越突出,航天软件逐渐成为航天型号任务成败的关键之一.航天型号软件普遍具有实时性高、可靠性要求高、运行环境复杂以及航天器结构复杂、资源受限等特点,这给航天型号软件的描述、设计、分析和实现带来了巨大的挑战.嵌入式周期控制系统语言(SPARDL)仅关注了离散时间的动力系统,为了描述物理世界的连续行为,希望发展一种面向航天型号软件建模特征的混成描述语言(HSPARDL),使其能够统一地描述其运行的物理过程与软件的控制行为,以及它们之间的协同交互机制,同时,为其提供严格的形式语义模型确保嵌入式软件设计的正确性和可靠性,最终为航天型号软件的设计和实现提供坚实的理论基础和方法支撑.
-
关键词
航天型号软件
混成描述语言
形式语义模型
-
Keywords
aerospace model software
hybrid description language
formal semantic model
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
