Evaluation of competing software reliability predictions
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Information Processing Letters
Handbook of software reliability engineering
Handbook of software reliability engineering
Improving System Reliability with Automatic Fault Tree Generation
FTCS '98 Proceedings of the The Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing
A new component concept for fault trees
SCS '03 Proceedings of the 8th Australian workshop on Safety critical systems and software - Volume 33
Component-based development of dependable systems with UML
Component-Based Software Development for Embedded Systems
Hi-index | 0.00 |
Abstract: In embedded systems development safety and reliability are important quality characteristics. It is thus required to determine reliability and safety of a complete system including hardware and software. It is reasonable to analyze particular failures, that may cause, e.g., safety critical situations. The basic idea of our approach is the automated generation of so-called fault trees based on the source code of the software. These may be combined with fault trees based on the electronic circuit design of the hardware. It is important, to do the generation in such a way, that the software and the hardware fault trees can be composed into a valid fault tree of the system. Fault tree generation is a largely automatic approach. We have implemented a prototype of a fault tree generation tool that is capable to generate fault trees based on C++-code. The fault tree generation tool for electronic circuits has already been used to analyze failure situations in industrial automation applications. If a structural approach is not applicable, stochastic techniques may be used. We developed the reliability assessment tool RAT that supports reliability analysis of software systems.