摘要： 对于轨道数据库在线更新这种大规模数据的短时间加载，安全计算机无法对其进行直接表决。为此，提出一种基于状态表决的安全计算机数据库更新表决算法，不直接对数据库表决，而是对数据库状态表决，解决表决数据量过大的问题，同时可对多系之间的数据库版本进行实时比对。使用马尔科夫模型分析该算法的安全性和可靠性，结果表明，该算法可确保安全计算机数据库的在线更新。

关键词: 轨道数据库, 数据库状态, 安全计算机, 数据库更新, 表决

Abstract: For a safety critical computer, large-scale data like database which has to be transferred in an instant time cannot be voted directly. This paper proposes a database update algorithm for safety critical computer based on status vote, which is to vote the database status instead of database itself. This algorithm can solve the problem of voting too much data in a short time, and compare versions of database of different modules in real time. A Markov model is built to calculate the safety and reliability of this algorithm. The results show that this algorithm meets the update requirement of safety critical computer.

Key words: rail database, database status, safety critical computer, database update, vote

中图分类号: 

• TP391