|
|
基于状态表决的安全计算机数据库更新算法
Database Update Algorithm for Safety Critical Computer Based on Status Vote
查看参考文献12篇
|
文摘
|
对于轨道数据库在线更新这种大规模数据的短时间加载,安全计算机无法对其进行直接表决。为此,提出一种基于状态表决的安全计算机数据库更新表决算法,不直接对数据库表决,而是对数据库状态表决,解决表决数据量过大的问题,同时可对多系之间的数据库版本进行实时比对。使用马尔科夫模型分析该算法的安全性和可靠性,结果表明,该算法可确保安全计算机数据库的在线更新。 |
|
其他语种文摘
|
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. |
|
来源
|
计算机工程
,2013,39(3):16-19 【核心库】
|
|
关键词
|
轨道数据库
;
数据库状态
;
安全计算机
;
数据库更新
;
表决
|
|
地址
|
浙江大学生物医学工程与仪器科学学院, 杭州, 310027
|
|
语种
|
中文 |
|
文献类型
|
研究性论文 |
|
ISSN
|
1000-3428 |
|
学科
|
自动化技术、计算机技术 |
|
文献收藏号
|
CSCD:4775572
|
参考文献 共
12
共1页
|
|
1.
游小明. 轨道交通安全计算机的研究与实现.
安全计算机,2011,37(6):231-233
|
CSCD被引
1
次
|
|
|
|
|
2.
黄涛. 基于三取二冗余结构的安全计算机系统.
安全计算机,2011,37(18):254-257
|
CSCD被引
1
次
|
|
|
|
|
3.
Butler R W. The SURE Approach to Reliability Analysis.
IEEE Trans. on Reliability,1992,41(2):210-218
|
CSCD被引
2
次
|
|
|
|
|
4.
Radu M. Assessing the Reliability and Safety of Fault Tolerant Designs.
Proc. of ISSE'01,2001
|
CSCD被引
1
次
|
|
|
|
|
5.
Somani A K. Understanding Fault Tolerance and Reliability.
Computer,1997,30(4):45-50
|
CSCD被引
4
次
|
|
|
|
|
6.
Anderson T.
Fault Tolerance, Principles and Practice,1990
|
CSCD被引
1
次
|
|
|
|
|
7.
Chen Liming. N-version Programming: A Fault Tolerance Approach to Reliability of Software Operation.
Proc. of the 8th Annual International Symposium on Fault Tolerant Computing,1978
|
CSCD被引
1
次
|
|
|
|
|
8.
陈祥献. 一种新型二乘二取二安全计算机系统.
安全计算机,2012,38(15):258-259
|
CSCD被引
1
次
|
|
|
|
|
9.
燕飞. 轨道交通信号系统安全技术的发展和研究现状.
中国安全科学学报,2005,15(6):94-99
|
CSCD被引
13
次
|
|
|
|
|
10.
International Electrotechnical Commission.
IEC 61508-1997 Functional Safety of Electrical/Electronic Programmable Electronic Safety-related Systems,1997
|
CSCD被引
1
次
|
|
|
|
|
11.
Levi S T.
Fault-tolerant Computer System Design,1994
|
CSCD被引
1
次
|
|
|
|
|
12.
杨毅. 三取二表决模型的可靠性与安全性分析.
安全计算机,2012,38(14):280-282
|
CSCD被引
1
次
|
|
|
|
|
|
了解气象卫星更多信息，请访问