Analysis of design parameters in SIL-4 safety-critical computer
Date
2017-01Source Title
Proceedings - Annual Reliability and Maintainability Symposium
Publisher
IEEE
Pages
1 - 8
Language
English
Type
Conference PaperItem Usage Stats
193
views
views
313
downloads
downloads
Abstract
Nowadays, Safety-critical computers are extensively used in may civil domains like transportation including railways, avionics and automotive. We noticed that in design of some previous works, some critical safety design parameters like failure diagnostic coverage (DC) or common cause failure (CCF) ratio have not been seriously taken into account. Moreover, in some cases safety has not been compared with standard safety levels (IEC-61508 SIL1-SIL4) or even have not met them. Most often, it is not very clear that which part of the system is the Achilles' heel and how design can be improved to reach standard safety levels. Motivated by such design ambiguities, we aim to study the effect of various design parameters on safety in some prevalent safety configurations: 1oo2 and 2oo3. 1oo1 is also used as a reference. By employing Markov modeling, sensitivity of safety to each of the following critical design parameters is analyzed: failure rate of processing element, failure diagnostics coverage, common cause failures and repair rates. This study gives a deeper sense regarding influence of variation in design parameters over safety. Consequently, to meet appropriate safety integrity level, instead of improving some system parts blindly, it will be possible to make an informed decision on more relevant parameters. © 2017 IEEE.
Keywords
IEC 61508Markov modeling
Safety
Safety-critical computer system
Accident prevention
Failure analysis
Maintainability
Systems analysis
Common cause failure
Critical design parameters
Failure diagnostics
Informed decision
Markov model
Processing elements
Safety integrity levels
Safety engineering
Permalink
http://hdl.handle.net/11693/37611Published Version (Please cite this version)
http://dx.doi.org/10.1109/RAM.2017.7889787Collections
Related items
Showing items related by title, author, creator and subject.
-
An automotive vehicle dynamics prototyping platform based on a remote control model car
Solmaz, S.; Coşkun, Türker (2013)The use of a modified remote control (RC) model car as a vehicle dynamics testing and development platform is detailed. Vehicle dynamics testing is an important aspect of automotive engineering and it plays a key role ... -
Architecture framework for software safety
Gürbüz, Havva Gülay; Pala Er, N.; Tekinerdoğan, Bedir (Springer, 2014-09)Currently, an increasing number of systems are controlled by soft- ware and rely on the correct operation of software. In this context, a safety- critical system is defined as a system in which malfunctioning software could ... -
Test case verification by model checking
Naik, K.; Sarikaya, B. (Kluwer Academic Publishers, 1993)Verification of a test case for testing the conformance of protocol implementations against the formal description of the protocol involves verifying three aspects of the test case: expected input/output test behavior, ...