• DocumentCode
    258378
  • Title

    Making an ALARP Decision of Sufficient Testing

  • Author

    Malekzadeh, Mohammad ; Bate, Iain

  • Author_Institution
    Malardalen Real-Time Res. Centre, Mardalen Univ., Vasteras, Sweden
  • fYear
    2014
  • fDate
    9-11 Jan. 2014
  • Firstpage
    57
  • Lastpage
    64
  • Abstract
    ALARP is an important concept in many safety standards. It helps in making a decision about how tolerable a risk is. A tolerable risk should be reduced to a point that is As Low As Reasonably Practicable (ALARP) which implies further risk-reduction is grossly inappropriate compared to the benefit attained. To date work has considered the process, safety arguments, and influencing factors of how to make an ALARP decision but not shown how to make a quantified judgement for it. In this paper a method for making an ALARP judgement decision is proposed in the context of testing the worst-case timing properties of systems. The method is based around a convergence algorithm that informs the tester when it is believed that testing for longer will not reveal sufficiently important new findings, i.e. any significant increase in observed worst-case timing needs a disproportionate amount of testing time.
  • Keywords
    decision making; program testing; risk analysis; safety-critical software; ALARP judgement decision making; as low as reasonably practicable; convergence algorithm; risk-reduction; safety arguments; safety standards; safety-critical systems; sufficient testing; tolerable risk; worst-case timing property testing; Algorithm design and analysis; Convergence; Probabilistic logic; Safety; Testing; Time factors; Timing; ALARP; Real-time systems; Safety; Testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    High-Assurance Systems Engineering (HASE), 2014 IEEE 15th International Symposium on
  • Conference_Location
    Miami Beach, FL
  • Print_ISBN
    978-1-4799-3465-2
  • Type

    conf

  • DOI
    10.1109/HASE.2014.17
  • Filename
    6754588