• DocumentCode
    141719
  • Title

    A confidence-based software voter for safety-critical systems

  • Author

    Rezaee, Mohammadreza ; Sedaghat, Yasser ; Khosravi-Farmad, Masoud

  • Author_Institution
    Comput. Eng. Dept., Ferdowsi Univ. of Mashhad, Mashhad, Iran
  • fYear
    2014
  • fDate
    24-27 Aug. 2014
  • Firstpage
    196
  • Lastpage
    201
  • Abstract
    To tolerate software faults, N-Version Programming (NVP) and N-Modular Redundant (NMR) techniques are widely employed. In these techniques, N modules operate on the same data and send their outputs to a software voter. Since the voter is a single point of failure in the techniques, availability and safety are essential requirements. In this paper a confidence-based software voting technique is proposed. The proposed technique considers weight oscillation and confidence of each module to improve availability and safety of the voter. Evaluation results showed that availability and safety of confidence-based software voter in contrast with standard majority voter and adaptive majority voter has improved about 4.4%, 4.9%, and 5.8% for three error injection scenarios.
  • Keywords
    configuration management; formal specification; safety-critical software; software fault tolerance; system recovery; N-modular redundant technique; N-version programming; NMR technique; NVP technique; adaptive majority voter; confidence-based software voter; confidence-based software voting technique; error injection scenario; safety-critical systems; single point of failure; software fault tolerance; software requirements; standard majority voter; voter safety; weight oscillation; Availability; Oscillators; Safety; Software; Transient analysis; Tunneling magnetoresistance; MapReduce; Skyline; grid; multiple objective decision; pruning strategy;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Dependable, Autonomic and Secure Computing (DASC), 2014 IEEE 12th International Conference on
  • Conference_Location
    Dalian
  • Print_ISBN
    978-1-4799-5078-2
  • Type

    conf

  • DOI
    10.1109/DASC.2014.43
  • Filename
    6945688