Database Update Algorithm for Safety Critical Computer Based on Status Vote

DING Qiang,CHEN Xiang-xian,HUANG Hai
DOI: https://doi.org/10.3969/j.issn.1000-3428.2013.03.004
2013-01-01
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.
What problem does this paper attempt to address?