Abstract
There have been an increasing number of applications of Bayesian Belief Network (BBN) for predicting safety properties in an attempt to handle the obstacles of uncertainty and complexity present in modern software development. Yet there is little practical guidance on justifying the use of BBN models for the purpose of safety. In this paper, we propose a compositional and semi-automated approach to reasoning about safety properties of architectures. This approach consists of compositional failure analysis through applying the object-oriented BBN framework. We also show that producing sound safety arguments for BBN-based deviation analysis results can help understand the implications of analysis results and identify new safety problems. The feasibility of the proposed approach is demonstrated by means of a case study.
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
Preview
Unable to display preview. Download preview PDF.
References
ARP 4761: Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment, Society of Automotive Engineers, Inc. (1996)
Hugin Researcher package. Hugin Expert (2007)
The SERENE Method Manual SafEty and Risk Evaluation using bayesian NEts: SERENE, ERA Technology Ltd. (1999)
Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice, 2nd edn. Addison Wesley, Reading, MA, USA (2003)
Druzdzel, M.J.: Qualitative Verbal Explanations in Bayesian Belief Networks. Artificial Intelligence and Simulation of Behaviour Quaterly 94 (Special Issue on Bayesian Belief Networks), 43–54
Fenelon, P., McDermid, J., Nicholson, M., Pumfrey, D.: Towards Integrated Safety Analysis and Design. ACM Computing Reviews 2(1), 21–32
Fenton, N.E., Neil, M.A.: Critique of Software Defect Prediction Models. IEEE Trans. on Software Engineering 25(5), 675–689
Galliers, J., Sutcliffe, A., Minocha, S.: An impact analysis method for safety-critical user interface design. ACM Transactions on Computer-Human Interaction (TOCHI) 6(4), 341–369
Gregoriades, A., Sutcliffe, A.: Scenario-Based Assessment of Nonfunctional Requirements. IEEE Trans. on Software Engineering 31(5), 392–409
Heckerman, D.: A Tutorial on Learning with Bayesian Networks. Microsoft Researcgh (1995)
Jackson, M., Zave, P.: Deriving specifications from requirements: an example. In: Proceedings of the 17th international conference on Software engineering (ICSE 1995), Seattle, US, pp. 15–24. ACM Press, New York (1995)
Kelly, T.P., A Arguing Safety Systematic Approach to Safety Case Management D.Phil Thesis, Department of Computer Science, University of York, York (1999)
Lacave, C., Diez, F.J.: A review of explanation methods for Bayesian networks. The Knowledge Engineering Review 17, 107–127
McDermid, J.A., Nicholson, M., Pumfrey, D., Fenelon, P.: Experience with the application of HAZOP to computer-based systems. In: Proceedings of the 10th Annual Conference on Computer Assurance (COMPASS 1995), pp. 37–48 (1995)
Morgan, C.: Of Probabilistic Wp and SP-and Compositionality. In: Symposium on the Occasion of 25 Years of CSP, London, pp. 220–241. Springer, Heidelberg (2004)
Pearl, J.: Causality: models, reasoning, and inference. Cambridge University Press, Cambridge, U.K., New York (2000)
Pearl, J.: Probabilistic reasoning in intelligent systems: networks of plausible inference. Morgan Kaufmann Publishers, San Mateo, Calif. (1988)
Pfeffer, A., Koller, D.: Object-Oriented Bayesian Networks. In: Proceedings of the Thirteenth Conference on Uncertainty in Artificial Intelligence (UAI 1997), pp. 302–313. Morgan Kaufmann, San Francisco (1997)
Wu, W., Kelly, T.: Failure Modelling in Software Architecture Design for Safety. SIGSOFT Softw. Eng. Notes 30(4), 1–7
Wu, W., Kelly, T.: Safety Tactics for Software Architecture Design. In: Proceedings of the 28th International Computer Software and Applications Conference, IEEE Computer Society, Los Alamitos (2004)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wu, W., Kelly, T. (2007). Combining Bayesian Belief Networks and the Goal Structuring Notation to Support Architectural Reasoning About Safety. In: Saglietti, F., Oster, N. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2007. Lecture Notes in Computer Science, vol 4680. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75101-4_17
Download citation
DOI: https://doi.org/10.1007/978-3-540-75101-4_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-75100-7
Online ISBN: 978-3-540-75101-4
eBook Packages: Computer ScienceComputer Science (R0)