基于软件总线的星载系统软件设计及其仿真

因此,星载软件是卫星系统设计和开发的中心。

星载软件配置管理是星载软件工程化的一项重要内容,目前国内的软件配置管理基本上是采用国外的通用配置管理工具,由于工具没有和具体的流程相结合,因此对软件的出入库流程只能采用手工管理的方式;为了解决手工方式配置管理手续繁琐、效率低下及容易导致文实不符等问题,这里介绍了一种自主开发的星载软件配置流程管理工具的设计方案,它基于B/S结构,实现了配置管理流程审批过程的电子化和网络化,还通过和通用配置管理工具ClearCase接口,实现了软件源程序和目标代码的出、入库随流程审批过程自动完成;该工具大大提高了星载软件配置管理的质量和效率。

8051系列单片机在卫星上的应用非常广泛,在基于8051单片机的软件中,中断服务程序往往发挥着关键作用;这里对8051中断系统进行了介绍,并结合具体实例阐述了基于8051单片机的星载软件中断服务程序的设计方法,重点从中断寄存器初始化、中断响应、中断处理、中断返回等几个方面介绍了进行中断服务程序设计时的注意事项和一些经验体会;这些方法和经验已在多台星载设备上应用,具有一定的应用价值。

星载软件的开发效率是制约卫星研制能力的因素之一,研究星载软件复用技术就是为了提高星载软件的开发效率和软件的质量;文中对星载软件复用的现状进行了分析,指出了影响星载软件复用的技术因素,探讨了实施星载软件复用的方法,并以举例的方式重点阐述了如何以领域工程的方式对星载软件进行领域分析、构造可复用构件和建立软件复用库;最后,介绍了软件沿用这一特殊的星载软件复用形式,这些方法都已进入实践阶段,具有一定的应用前景。

软件实现的星载系统故障注入技术研究

针对指令重试时难以合理选择重试时机和冗余资源问题,并根据星载系统的特点,提出了系统致命失效概率最小的单故障重试恢复策略。

本文首先提出了用软件方法进行的故障注入系统,并提出故障注入模型;其次阐述了由本课题组自主研究开发的一种用于评测星载系统可靠性的软件故障注入工具(SFID),最后对实验结果进行了分析。

星载嵌入式软件测试过程模型的研究

星载嵌入式软件作为星载计算机系统的核心,其功能和性能直接影响着整个卫星系统的运行。