在当今网络时代，随着世界范围内空间技术的发展，分布式计算技术已广泛应用到航天各个领域。而航天器的故障诊断和容错技术则随着航天器飞行任务扩展、测控精度提高以及工作寿命延长等要求而迅速发展起来。面向航天应用的计算系统是典型的分布式实时系统。为了保障面向航天应用系统高可靠地运行，需要一个分布式实时容错平台的支持。本论文的课题研究正是基于这种背景下的“十五”国防预研课题研究，开展了基于VxWorks操作系统和1553B总线的面向航天分布式实时容错平台的研究。 首先，论文在研究了分布式实时系统特点和新一代航天星载、飞船及未来空间实验室等应用系统基础上，深入分析了航天应用系统目标机运行的主流操作系统VxWorks内核的任务调度策略，论述了内核剪裁的原则，划分了VxWorks操作系统的功能界面，并对其进行了剪裁和优化。接着对VxWorks操作系统的驱动管理机制进行了扩展设计，结合在航天器高可靠性系统中广泛采用的1553B总线通信协议，设计了基于VxWorks操作系统的1553B驱动软件。最后，在总结分析容错技术的基础上，提出了基于VxWorks和1553B总线的分布式实时容错平台理论模型，为构建航天分布式实时容错平台奠定了基础。