Abstract
In this paper we describe an approach to capture the degree of compliance of a product with the international standard for functional safety of E/E/PE systems, IEC 61508. We call this the evidential volume of an assessment scenario. It is based on compiling observed evidence according to assigned weighting factors, which describe the relative importance of each piece of evidence. The evidential volume can by itself be used as an indicator to compare different assessment scenarios. This could form the basis for improved consistency in assessment. We suggest a model to relate the evidential volume to the probability of having achieved a product of required safety integrity. Developing such a relationship can lead to a decision-aid on acceptance or rejection or can be used to decide whether additional evidence, such as statistical testing could be used to achieve target safety integrity. The model we suggest is based on the Success Likelihood Index Model (SLIM) and it poses an initial step towards decision-support for assessment.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
“Functional safety of electrical/electronic/programmable electronic safety-related systems, International Electrotechnical Commission,” 1998.
L. Winsborrow and A. Lawrence, “Guidelines for using programmable electronic systems in nuclear safety and nuclear safety-related applications,” British Energy Generations Ltd., 2001.
M. Li, C. Smidts, and R. W. Brill, “Ranking software engineering measures related to reliability using expert opinion,” Proceedings of ISSRE 2000, 2000.
H. Dehlinger, “Deontische Fragen, Urteilsbildung, Bewertungssysteme,” Arbeitsbericht aus dem Fachgebiet Design Theorien and Methoden, vol. 7/94.
R. Chapman, “Industrial experience with SPARK,” Proceedings of ACM SigAda 2000, pp. 64–68.
G. Salvendy, Handbook of Human Factors and Ergonomics. Wiley Interscience, 1997.
C. Smidts and D. Sova, “An architectural model for software reliability quantification: sources of data,” Reliability Engineering and System Safety, vol. 64, pp. 279–290, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kuball, S., Hughes, G. (2003). Evidential Volume Approach for Certification. In: Rosen, JP., Strohmeier, A. (eds) Reliable Software Technologies — Ada-Europe 2003. Ada-Europe 2003. Lecture Notes in Computer Science, vol 2655. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44947-7_18
Download citation
DOI: https://doi.org/10.1007/3-540-44947-7_18
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40376-0
Online ISBN: 978-3-540-44947-8
eBook Packages: Springer Book Archive