论文部分内容阅读
一般说来,卫星在太空中的运行周期较长,而且所处环境复杂。卫星软件与常见的实时嵌入式软件相比对于实时操作系统的需求具有不同的侧重,本课题对卫星通用实时操作系统的主要需求进行了初步归纳和总结,作为研制我国通用卫星操作系统的基础。卫星软件属于安全关键性系统,对于实时操作系统的需求具有安全关键性的特征。本文对国外安全关键性领域使用的主要实时操作系统的技术水平进行了深入分析,初步归纳和总结出安全关键性领域实时操作系统的技术发展方向。同时结合国内应用现状,提出了我国卫星通用实时操作系统成为安全关键性操作系统应具备的条件。开放源码的软件开发模式也进入到了空间应用领域,国外的空间机构认为研制或者应用开放源码的实时操作系统将是今后一个主要发展方向,并且开展了大量的实践工作。本课题在对由欧洲航天局面向航天飞行领域开发的高质量开放源码的实时操作系统ORK进行深入研究的基础上,提出了实现我国卫星通用实时操作系统的一条较好的技术途径。Ravenscar Profile是在第八(九、十)届Ada国际研讨会上提出的适合高完整性系统的Ada95多任务使用剖面,并已为国际标准组织ISO接纳,相关的标准正在制订过程中。应用程序使用Ravenscar Profile将有利于进行可调度性分析以及系统功能的验证和确认。将基于Ada95的Ravenscar Profile转换到适合非特定语言的多任务使用约束对于我国空间应用领域具有重大的实践意义,本课题初步解决了这一问题。本课题在ORK的基础上,实现了适合我国的卫星通用操作系统—SATOS的原型。该操作系统在代码级完全重新编写,在功能上进行了扩充,在性能上得到了改善。本课题研制的SATOS已通过710所软件工程部组织的单元测试和确认测试。