Abstract
Structured safety arguments are widely applied in critical systems to demonstrate their safety and other attributes. Graphical formalisms such as Goal Structuring Notation (GSN) are used to represent these argument structures. However, they do not take into account the uncertainty that may exist in parts of these arguments. To address this issue, several frameworks for confidence assessment have been proposed. In this paper, a comparative study is carried out on three approaches based on Dempster-Shafer theory. We extract and compare the implicit logic at work in these works, and show that, to some extent, these current approaches fail to provide a consistent relationship between the informal statement of arguments, their logical model and the use of belief functions. We also propose recommendations to improve this consistency.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Ayoub, A., Chang, J., Sokolsky, O., Lee, I.: Assessing the overall sufficiency of safety arguments. In: 21st Safety-critical Systems Symposium (SSS’13), Bristol, United Kingdom (2013)
Bloomfield, R., Netkachova, K.: Building blocks for assurance cases. In: 2014 IEEE International Symposium on Software Reliability Engineering Workshops, pp. 186–191. IEEE (2014)
Chatalic, P., Dubois, D., Prade, H.: An approach to approximate reasoning based on Dempster rule of combination. Int. J. Expert Syst. Res. Appl. 1, 67–85 (1987)
Cyra, L., Górski, J.: Support for argument structures review and assessment. Reliab. Eng. Syst. Saf. 96(1), 26–37 (2011)
De La Vara, J.L., Génova, G., Álvarez-Rodríguez, J.M., Llorens, J.: An analysis of safety evidence management with the structured assurance case metamodel. Comput. Stan. Interfaces 50, 179–198 (2017)
Denney, E., Pai, G., Habli, I.: Towards measurement of confidence in safety cases. In: 2011 International Symposium on Empirical Software Engineering and Measurement, pp. 380–383. IEEE (2011)
Denoeux, T.: Conjunctive and disjunctive combination of belief functions induced by nondistinct bodies of evidence. Artif. Intell. 172(2–3), 234–264 (2008)
Destercke, S., Dubois, D.: Idempotent conjunctive combination of belief functions: Extending the minimum rule of possibility theory. Inf. Sci. 181(18), 3925–3945 (2011)
Dubois, D., Faux, F., Prade, H., Rico, A.: A possibilistic counterpart to Shafer evidence theory. In: IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), New Orleans, LA, USA, June 23–26, pp. 1–6. IEEE (2019)
Dubois, D., Prade, H.: A set-theoretic view of belief functions. Logical operations and approximation by fuzzy sets. Int. J. General Syst. 12(3), 193–226 (1986)
Dubois, D., Prade, H.: Representation and combination of uncertainty with belief functions and possibility measures. Comput. Intell. 4, 244–264 (1988)
EN50129: Railway applications - Safety related electronic systems for signaling (2003), CENELEC, European Committee for Electrotechnical Standardization
Graydon, P.J., Holloway, C.M.: An investigation of proposed techniques for quantifying confidence in assurance arguments. Saf. Sci. 92, 53–65 (2017)
Guiochet, J., Do Hoang, Q.A., Kaaniche, M.: A model for safety case confidence assessment. In: Koornneef, F., van Gulijk, C. (eds.) SAFECOMP 2015. LNCS, vol. 9337, pp. 313–327. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-24255-2_23
Hobbs, C., Lloyd, M.: The application of Bayesian belief networks to assurance case preparation. In: Achieving Systems Safety, pp. 159–176. Springer (2012)
Inagaki, T.: Interdependence between safety-control policy and multiple-sensor schemes via Dempster-Shafer theory. IEEE Trans. Reliab. 40(2), 182–188 (1991)
ISO 26262: Software considerations in airborne systems and equipment certification. In: International Organization for Standardization (ISO) (2011)
Jøsang, A.: Subjective Logic. Springer (2016)
Kelly, T.: Arguing Safety - A Systematic Approach to Safety Case Management. Ph.D. thesis, Department of Computer Science, University of York, UK (1998)
Kelly, T.P., McDermid, J.A.: Safety case construction and reuse using patterns. In: International Conference on Computer Safety, Reliability, and Security (Safecomp) 97, pp. 55–69. Springer (1997)
Sentz, K., Ferson, S., et al.: Combination of evidence in Dempster-Shafer theory. Technical Report 0835, Sandia National Laboratories, Albuquerque, NM, USA (2002)
Smets, P.: Analyzing the combination of conflicting belief functions. Inf. Fusion 8(4), 387–412 (2007)
Toulmin, S.E.: The Uses of Argument. Cambridge Univ. Press, Cambridge (1958)
Wang, R.: Confidence in safety argument-An assessment framework based on belief function theory. Ph.D. thesis, Institut National des Sciences Appliquées de Toulouse, France (2018)
Wang, R., Guiochet, J., Motet, G., Schön, W.: D-S theory for argument confidence assessment. In: Vejnarová, J., Kratochvíl, V. (eds.) BELIEF 2016. LNCS (LNAI), vol. 9861, pp. 190–200. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-45559-4_20
Wang, R., Guiochet, J., Motet, G., Schön, W.: Modelling confidence in railway safety case. Saf. Sci. 110(part B), 286–299 (2018)
Wang, R., Guiochet, J., Motet, G., Schön, W.: Safety case confidence propagation based on Dempster-Shafer theory. Int. J. Approximate Reason. 107, 46–64 (2019)
Yager, R.R.: On the Dempster-Shafer framework and new combination rules. Inf. Sci. 41(2), 93–137 (1987)
Yuan, C., Wu, J., Liu, C., Yang, H.: A subjective logic-based approach for assessing confidence in assurance case. Int. J. Perform. Eng. 13(6), 807–822 (2017)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Idmessaoud, Y., Dubois, D., Guiochet, J. (2020). Belief Functions for Safety Arguments Confidence Estimation: A Comparative Study. In: Davis, J., Tabia, K. (eds) Scalable Uncertainty Management. SUM 2020. Lecture Notes in Computer Science(), vol 12322. Springer, Cham. https://doi.org/10.1007/978-3-030-58449-8_10
Download citation
DOI: https://doi.org/10.1007/978-3-030-58449-8_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-58448-1
Online ISBN: 978-3-030-58449-8
eBook Packages: Computer ScienceComputer Science (R0)