论文以OMG组织的容错CORBA规范为参照。容错CORBA规范的基本思想是通过实现系统的冗余来提高系统的可靠性，论文围绕这个思路进行了相关研究，论文的主要工作包括以下几个方面： (1)论文从更加贴近现实条件的角度来建立起异步的consensus模型，该模型避免了目前大多数consensus模型对底层的网络通信是全连接的假设，该模型允许系统存在网络分割错误，为此模型使用了主分段的概念。另外，该模型是一种down-recovery的模型。 (2)目前的consensus算法都只是站在得到一致性结果的角度，而没有考虑到多数性原则，对此，论文对consensus算法的正确性描述进行了扩展，添加了多数性原则，虽然多数性原则在毫无约束的异步环境下被证明是不可实现的，但是在某些情况下(例如正确的进程占系统总进程数的3/4以上)，多数性原则是可以满足的。 (3)论文在建立的异步模型的基础上，实现了一个带投票的consensus算法，并对其进行了相关证明。该算法不仅可以得到一致性的结果，还将多数性原则的考虑加入到算法实现之中。其中最显著的特色是论文的consensus算法增加了协调竞争者的角色，对多数性原则有了更多的考虑。 (4)论文提出了容错CORBA模型——AIOFORBUS。该模型以OMG组织的容错CORBA规范为架构，将可靠全序多播功能、主服务器选择算法、日志/恢复机制，以及consensus工具等融合在体系内部，使模型成为一个功能较为完整的体系结构。 (5)论文工作中使用Java语言实现了AIOFORBUS原型系统，该系统是在通用CORBA--JORBUS基础之上进行修改和扩展而实现的。论文首先对AIOFORBUS的调度模型的实现进行了较为详细地介绍，包括对ORB进行了扩展，使之支持多播通信，并具有重复报文过滤的功能；在可靠全序服务的基础上，对POA进行了扩展，实现了确定性的调度，为对象组成员状态的一致性奠定了良好的基础。另外，论文工作还实现了一定的容错功能。 本论文的工作受到国家863项目(2003AA413320)的支持。