PIE: A Dynamic Failure-Based Technique
IEEE Transactions on Software Engineering
An integrated tool set for software safety analysis
Journal of Systems and Software - Special issue on applying specification, verification, and validation techniques to industrial software systems
PROPANE: an environment for examining the propagation of errors in software
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
An Approach for Analysing the Propagation of Data Errors in Software
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
PRISM: Probabilistic Symbolic Model Checker
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
ISSRE '03 Proceedings of the 14th International Symposium on Software Reliability Engineering
A new component concept for fault trees
SCS '03 Proceedings of the 8th Australian workshop on Safety critical systems and software - Volume 33
Modular Architectural Representation and Analysis of Fault Propagation and Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
The risks of LSCITS: the odds are stacked against us
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
Hi-index | 0.00 |
A key concern in safety engineering is understanding the overall emergent failure behaviour of a system, i.e., behaviour exhibited by the system that is outside its specification of acceptable behaviour. A system can exhibit failure behaviour in many ways, including that from failures of individual or a small number of components. It is important for safety engineers to understand how system failure behaviour relates to failures exhibited by individual components. In this paper, we propose a safety analysis technique, failure propagation and transformation analysis (FPTA), which automatically and quantitatively analyses failures based on a model of failure logic. The technique integrates previous work on automated failure analysis with probabilistic model checking supported by the PRISM tool. We demonstrate the technique and tool on a small, yet realistic safety-related application.