Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
Deriving specifications from requirements: an example
Proceedings of the 17th international conference on Software engineering
A Critique of Software Defect Prediction Models
IEEE Transactions on Software Engineering
An impact analysis method for safety-critical user interface design
ACM Transactions on Computer-Human Interaction (TOCHI) - Special issue on interface design for safety-critical interactive systems: when there is no room for user error
Causality: models, reasoning, and inference
Causality: models, reasoning, and inference
Towards integrated safety analysis and design
ACM SIGAPP Applied Computing Review - Special issue on saftey-critical software
Software Architecture in Practice
Software Architecture in Practice
A review of explanation methods for Bayesian networks
The Knowledge Engineering Review
Safety Tactics for Software Architecture Design
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Scenario-Based Assessment of Nonfunctional Requirements
IEEE Transactions on Software Engineering
Failure modelling in software architecture design for safety
WADS '05 Proceedings of the 2005 workshop on Architecting dependable systems
Object-oriented Bayesian networks
UAI'97 Proceedings of the Thirteenth conference on Uncertainty in artificial intelligence
Of probabilistic wp and CSP - and compositionality
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
Analysing Dependability Case Arguments Using Quality Models
SAFECOMP '09 Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security
Hi-index | 0.00 |
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.