论文部分内容阅读
研究机载容错分布式系统软件中运行蓝图(RTBP)的设计与实现.运行蓝图包括分布式系统的配置数据、逻辑物理映射关系以及支持容错重构的状态机的动作列表.本文对运行蓝图包含的内容进行了说明,分析了运行蓝图的三种格式:编辑形式、加载格式和运行格式.介绍了运行蓝图的配置生成工具和分布式系统的加载卸载工具,给出了SMBP接口函数.运行蓝图将机载容错分布式系统的通用功能软件与专用的系统配置参数分开.实现了分布式系统的通用系统管理GSM与硬件无关、与飞机无关.运行蓝图的实现有利于实现分布式系统的通讯与容错重构的透明性.符合新一代航空电子系统模块化、确定性的要求以及高安全性的要求.