DocumentCode :
2351994
Title :
Reasoning About the Reliability of Multi-version, Diverse Real-Time Systems
Author :
Burns, A. ; Littlewood, B.
Author_Institution :
Dept. of Comput. Sci., Univ. of York, York, UK
fYear :
2010
fDate :
Nov. 30 2010-Dec. 3 2010
Firstpage :
73
Lastpage :
81
Abstract :
This paper is concerned with the development of reliable real-time systems for use in high integrity applications. It advocates the use of diverse replicated channels, but does not require the dependencies between the channels to be evaluated. Rather it develops and extends the approach of Little wood and Rush by (for general systems) by investigating a two channel system in which one channel, A, is produced to a high level of reliability (i.e. has a very low failure rate), while the other, B, employs various forms of static analysis to sustain an argument that it is perfect (i.e. it will never miss a deadline). The first channel is fully functional, the second contains a more restricted computational model and contains only the critical computations. Potential dependencies between the channels (and their verification) are evaluated in terms of aleatory and epistemic uncertainty. At the aleatory level the events \´\´A fails" and \´\´B is imperfect" are independent. Moreover, unlike the general case, independence at the epistemic level is also proposed for common forms of implementation and analysis for real-time systems and their temporal requirements (deadlines). As a result, a systematic approach is advocated that can be applied in a real engineering context to produce highly reliable real-time systems, and to support numerical claims about the level of reliability achieved.
Keywords :
program diagnostics; reasoning about programs; software reliability; aleatory level; epistemic uncertainty; high-integrity system; real-time system reliability; static analysis; two channel system; Diversity; High-Integrity Systems; Real-Time Systems; Reliability; Safety-Critical Systems;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Real-Time Systems Symposium (RTSS), 2010 IEEE 31st
Conference_Location :
San Diego, CA
ISSN :
1052-8725
Print_ISBN :
978-0-7695-4298-0
Type :
conf
DOI :
10.1109/RTSS.2010.43
Filename :
5702219
Link To Document :
بازگشت