Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Reliability engineering handbook (vol. 1)
Reliability engineering handbook (vol. 1)
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
World Wide Web Journal - Special issue on XML: principles, tools, and techniques
ISAS-SCI '01 Proceedings of the World Multiconference on Systemics, Cybernetics and Informatics: Information Systems Development-Volume I - Volume I
Quantifying the Reliability of Embedded Systems by Automated Analysis
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Improving System Reliability with Automatic Fault Tree Generation
FTCS '98 Proceedings of the The Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing
Developing a High-Quality Software Tool for Fault Tree Analysis
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Dependability Assessment Using Binary Decision Diagrams (BDDs)
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Identifying "good" architectural design alternatives with multi-objective optimization strategies
Proceedings of the 28th international conference on Software engineering
Early quality prediction of component-based systems - A generic framework
Journal of Systems and Software
Towards Agile Engineering of High-Integrity Systems
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Integrating Safety Analyses and Component-Based Design
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Probabilistic Failure Propagation and Transformation Analysis
SAFECOMP '09 Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security
Component-Based Abstraction in Fault Tree Analysis
SAFECOMP '09 Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security
Conditional safety certificates in open systems
Proceedings of the 1st Workshop on Critical Automotive applications: Robustness & Safety
Generalizable safety annotations for specification of failure patterns
Software—Practice & Experience
Fault tree analysis of software-controlled component systems based on second-order probabilities
ISSRE'09 Proceedings of the 20th IEEE international conference on software reliability engineering
Capture and reuse of composable failure patterns
International Journal of Critical Computer-Based Systems
Modular analysis and modelling of risk scenarios with dependencies
Journal of Systems and Software
Towards a software failure cost impact model for the customer: an analysis of an open source product
Proceedings of the 6th International Conference on Predictive Models in Software Engineering
Proceedings of the 5th international symposium on Software visualization
SAFECOMP'10 Proceedings of the 29th international conference on Computer safety, reliability, and security
Integrating system modelling with safety activities
SAFECOMP'10 Proceedings of the 29th international conference on Computer safety, reliability, and security
Component-based HazOp and fault tree analysis in developing embedded real-time systems with UML
ICECS'05 Proceedings of the 4th WSEAS international conference on Electronics, control and signal processing
Hazard-based selection of test cases
Proceedings of the 6th International Workshop on Automation of Software Test
Failure-dependent execution time analysis
Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS
A layered approach for identifying systematic faults of component-based software systems
Proceedings of the 16th international workshop on Component-oriented programming
Integration of component fault trees into the UML
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Component-Based hazard analysis: optimal designs, product lines, and online-reconfiguration
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
Towards an integration of standard component-based safety evaluation techniques with SaveCCM
QoSA'06 Proceedings of the Second international conference on Quality of Software Architectures
An automated dependability analysis method for COTS-based systems
ICCBSS'05 Proceedings of the 4th international conference on COTS-Based Software Systems
Model-Driven safety evaluation with state-event-based component failure annotations
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
Specification and evaluation of safety properties in a component-based software engineering process
Component-Based Software Development for Embedded Systems
MMB'12/DFT'12 Proceedings of the 16th international GI/ITG conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
A safety-focused verification using software fault trees
Future Generation Computer Systems
Early safety evaluation of design decisions in E/E architecture according to ISO 26262
Proceedings of the 3rd international ACM SIGSOFT symposium on Architecting Critical Systems
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
Modeling the effects of software on safety and reliability in complex embedded systems
SAFECOMP'12 Proceedings of the 2012 international conference on Computer Safety, Reliability, and Security
Visual approach facilitating the importance analysis of component fault trees
SAFECOMP'12 Proceedings of the 2012 international conference on Computer Safety, Reliability, and Security
Conditional Safety Certification of Open Adaptive Systems
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Variability-aware safety analysis using delta component fault diagrams
Proceedings of the 17th International Software Product Line Conference co-located workshops
Proceedings of the 3rd Computer Science Education Research Conference on Computer Science Education Research
Proceedings of the companion publication of the 17th ACM conference on Computer supported cooperative work & social computing
Enhancing understanding of safety aspects in embedded systems through an interactive visual tool
Proceedings of the companion publication of the 19th international conference on Intelligent User Interfaces
ESSAVis: a 2Dplus3D visual platform for speeding up the maintenance process of embedded systems
BCS-HCI '13 Proceedings of the 27th International BCS Human Computer Interaction Conference
Hi-index | 0.00 |
The decomposition of complex systems into manageable parts is an essential principle when dealing with complex technical systems. However, many safety and reliability modelling techniques do not support hierarchical decomposition in the desired way. Fault Tree Analysis (FTA) offers decomposition into modules, a breakdown with regard to the hierarchy of failure influences rather than to the system architecture. In this paper we propose a compositional extension of the FTA technique. Each technical component is represented by an extended Fault Tree. Besides the internal basic events and gates, each component can have input and output ports. By connecting these ports, components can be integrated into a higher-level system model. All components can be developed independently and stored in separate files or component libraries. Mathematically, each Component Fault Tree represents a logical function from its input ports and internal events to its output ports. As in traditional FTA, both qualitative and quantitative analyses are possible. Known algorithms e.g. based on Binary Decision Diagrams (BDDs) can still be applied. The Windows based safety analysis tool UWG3 has been developed to prove this concept in practice. It allows creating component libraries in an exchangeable XML format. We have carried out some case studies in order to show that the new concept improves clearness and intuitive modelling while maintaining the same results as traditional FTA.