• About
  • Policies
  • What is open access
  • Library
  • Contact
Advanced search
      View Item 
      •   BUIR Home
      • Scholarly Publications
      • Faculty of Engineering
      • Department of Computer Engineering
      • View Item
      •   BUIR Home
      • Scholarly Publications
      • Faculty of Engineering
      • Department of Computer Engineering
      • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      Analysis of design parameters in SIL-4 safety-critical computer

      Thumbnail
      View / Download
      1.1 Mb
      Author(s)
      Ahangari, Hamzeh
      Özkök, Y. I.
      Yıldırım, A.
      Say, F.
      Atik, Funda
      Öztürk, Özcan
      Date
      2017-01
      Source Title
      Proceedings - Annual Reliability and Maintainability Symposium
      Publisher
      IEEE
      Pages
      1 - 8
      Language
      English
      Type
      Conference Paper
      Item Usage Stats
      193
      views
      313
      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 61508
      Markov 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/37611
      Published Version (Please cite this version)
      http://dx.doi.org/10.1109/RAM.2017.7889787
      Collections
      • Department of Computer Engineering 1510
      Show full item record

      Related items

      Showing items related by title, author, creator and subject.

      • Thumbnail

        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 ...
      • Thumbnail

        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 ...
      • Thumbnail

        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, ...

      Browse

      All of BUIRCommunities & CollectionsTitlesAuthorsAdvisorsBy Issue DateKeywordsTypeDepartmentsCoursesThis CollectionTitlesAuthorsAdvisorsBy Issue DateKeywordsTypeDepartmentsCourses

      My Account

      Login

      Statistics

      View Usage StatisticsView Google Analytics Statistics

      Bilkent University

      If you have trouble accessing this page and need to request an alternate format, contact the site administrator. Phone: (312) 290 2976
      © Bilkent University - Library IT

      Contact Us | Send Feedback | Off-Campus Access | Admin | Privacy