Analysis of design parameters in safety-critical computers

dc.citation.epage12en_US
dc.citation.issueNumber8en_US
dc.citation.spage1en_US
dc.citation.volumeNumber14en_US
dc.contributor.authorAhangari, H.en_US
dc.contributor.authorAtik, F.en_US
dc.contributor.authorOzkok, Y. I.en_US
dc.contributor.authorYildirim, A.en_US
dc.contributor.authorAta, S. O.en_US
dc.contributor.authorOzturk, O.en_US
dc.date.accessioned2019-02-21T16:05:32Z
dc.date.available2019-02-21T16:05:32Z
dc.date.issued2018en_US
dc.departmentDepartment of Computer Engineeringen_US
dc.description.abstractNowadays, safety-critical computers are extensively used in many civil domains like transportation including railways, avionics, and automotive. In evaluating these safety critical systems, previous studies considered different metrics, but some of safety design parameters like failure diagnostic coverage (C) 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 integrity 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, namely, 1oo2 and 2oo3, where 1oo1 is also used as a reference. By employing Markov modeling, we analyzed the sensitivity of safety to important parameters including: failure rate of processor, failure diagnostic coverage, CCF ratio, test and repair rates. This study aims to provide a deeper understanding on the influence of variation in design parameters over safety. Consequently, to meet appropriate safety integrity level, instead of improving some parts of a system blindly, it will be possible to make an informed decision on more relevant parameters. IEEE
dc.description.provenanceMade available in DSpace on 2019-02-21T16:05:32Z (GMT). No. of bitstreams: 1 Bilkent-research-paper.pdf: 222869 bytes, checksum: 842af2b9bd649e7f548593affdbafbb3 (MD5) Previous issue date: 2018en
dc.identifier.doi10.1109/TETC.2018.2801463en_US
dc.identifier.issn2168-6750en_US
dc.identifier.urihttp://hdl.handle.net/11693/50258en_US
dc.language.isoEnglishen_US
dc.publisherIEEE Computer Societyen_US
dc.relation.isversionofhttps://doi.org/10.1109/TETC.2018.2801463
dc.source.titleIEEE Transactions on Emerging Topics in Computingen_US
dc.subjectCommon cause failureen_US
dc.subjectComputersen_US
dc.subjectIEC 61508 standarden_US
dc.subjectIEC Standardsen_US
dc.subjectMaintenance engineeringen_US
dc.subjectMarkov modelingen_US
dc.subjectMarkov processesen_US
dc.subjectReliabilityen_US
dc.subjectSafetyen_US
dc.subjectSafety-critical computer systemen_US
dc.titleAnalysis of design parameters in safety-critical computersen_US
dc.typeArticleen_US

Files

Original bundle

Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
Analysis_of_Design_Parameters_in_Safety_Critical.pdf
Size:
4.06 MB
Format:
Adobe Portable Document Format
Description:
Full printable version