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
Link To Document