High Dependability Computing Platform Based On Quadruple Modular Redundancy Technology

Nowadays, digital computing systems have penetrated into all fields of society.The development and research Dependability Computing system will become the maintrends of the future development of digital computing systems.On the various ways of Dependability Computing systems for the realization, thethesis will focus on the research of redundancy technology. After the investigation onthe credibility of the theory and the existing domestic and international credibility ofthe actual system and redundance structure of various comparison, the QMR struc-ture is selected finally. The thesis put forward the innovative QMR of the competitionstructure based on the real-time missing. It can compensate this deficiency while noreducing the basis of performance. In the dependability analysis of the QMR compe-tition structure, taking into account the transient failure checker problem could makethe calculation and the results of the analysis closer to the actual system. To verify thetheoretical analysis, simulation program such as Matlab is adopted on the credibility ofthe results of simulation. The result is fully consistent with the theoretical expectations.In the theoretical support as above, the thesis designed and implemented a set ofhigh-dependability computing platform. The framework of this platform is QMR com-petition structure. Calculation module uses PowerPC Series processors with very highdependability performance. Judgement uses FPGA as hardware modules. Externalbus uses the standard MIL-STD-1553B bus protocol. The overall hardware board ac-cord with 6U continental standard structure and dual-DIN41612 standard plug, it canbe used as components inserted into the backplane with the other components worktogether. The system-level software in judgement chooses Altera Company's embed-ded soft-core Nios II. There would be two sets of judgements in one FPGA internalconstitute dual-core system. In addition the use of competition in the output modulewill switch seamlessly. Calculation module within the system-level software supportto transplant the uC /OS-II as a platform to use operating system. All of the underlying software is designed as modular design and improve the software architecture. Theapplication-layer software could call the system-level software module library simply.After experimental verification, the entire computing platform has the advantageof dependability and real-time performance and could be applied to all kinds of relia-bility and security of demanding computing environments.