Embedded Multi-processor Real-time Fault-tolerant

With the development of real-time computing, an increasing number of safety-critical applications use Real-Time Operating System (RTOS) as the kernel of control systems, and RTOS becomes an important factor that affects the reliability of those applications. The techniques of hardware are increasingly mature, which makes the real-time software become the bottleneck of the system reliability. Therefore the software fault tolerance techniques are heatedly discussed in literature, being an important technique for system reliability.This thesis introduces the conception of the system reliability, and analyzes some basic techniques for system reliability systematically,concludes the factors that influence the fault-tolerant real-time system: On the one hand, most of the fault-tolerance systems utilizes the hardware fault-tolerant technique, which improves the system reliability in a certain extent. However, this approach can only solve hardware error, and is helpless to software error. On the other hand, the real-time computing systems are designed decoupling between hardware and software, which is not beneficial for reliability design, especially for the tolerance design of software. Consequently, an urgent problem is to ensure the tolerance of hardware error, to strengthen the tolerance of software error, to integrate hardware and software fault-tolerant technique in operating system level.Based on the above analysis, this thesis researches the techniques of reliability and multi-processors system and proposes a fault-tolerance real-time embedded multi-processor system based upon the loosely coupled multiprocessor architecture. The proposed solution combined multiprocessor architecture and hierarchical operating system structure and could ensure that the system reliability in whole.Then, based on real-time operation system ERTOS and architecture put forward above, a dual Fault-tolerant system is realized.Furthermore, this thesis discusses the theoretical foundation, model structure, composing form and evaluation in detail, investigates the architectures of three computer fault-tolerant systems, such as Triple modular Admixture Redundancy system,...