Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Safeware: system safety and computers
Safeware: system safety and computers
Qualitative and quantitative simulation: bridging the gap
Artificial Intelligence
On the Polynomial Form of Boolean Functions: Derivations and Applications
IEEE Transactions on Computers
Proceedings of the Conference on The Future of Software Engineering
Architecture-based approach to reliability assessment of software systems
Performance Evaluation
Developing and Applying Component-Based Model-Driven Architectures in KobrA
EDOC '01 Proceedings of the 5th IEEE International Conference on Enterprise Distributed Object Computing
Reliability Simulation of Component-based Software Systems
ISSRE '98 Proceedings of the The Ninth International Symposium on Software Reliability Engineering
Constrained Interval Arithmetic
Constrained Interval Arithmetic
Qualitative probability and order of magnitude reasoning
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
A new component concept for fault trees
SCS '03 Proceedings of the 8th Australian workshop on Safety critical systems and software - Volume 33
Methods and Applications of Interval Analysis (SIAM Studies in Applied and Numerical Mathematics) (Siam Studies in Applied Mathematics, 2.)
A symbolic analysis of relay and switching circuits
A symbolic analysis of relay and switching circuits
International Journal of Intelligent Systems
IEEE Transactions on Computers
A fuzzy-monte carlo simulation approach for fault tree analysis
RAMS '06 Proceedings of the RAMS '06. Annual Reliability and Maintainability Symposium, 2006.
Uncertainty, belief, and probability
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Computing best-possible bounds for the distribution of a sum of several variables is NP-hard
International Journal of Approximate Reasoning
Software fault tree analysis for product lines
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Architecture-based reliability evaluation under uncertainty
Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS
Architecture-driven reliability optimization with uncertain model parameters
Journal of Systems and Software
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
Hi-index | 0.00 |
Software is still mostly regarded as a black box in the development process, and its safety-related quality ensured primarily by process measures. For systems whose lion share of service is delivered by (embedded) software, process-centred methods are seen to be no longer sufficient. Recent safety norms (for example, ISO 26262) thus prescribe the use of safety models for both hardware and software. However, failure rates or probabilities for software are difficult to justify. Only if developers take good design decisions from the outset will they achieve safety goals efficiently. To support safety-oriented navigation of the design space and to bridge the existing gap between qualitative analyses for software and quantitiative ones for hardware, we propose a fault-tree-based approach to the safety analysis of softwar-econtrolled systems. Assigning intervals instead of fixed values to events and using Monte-Carlo sampling, probability mass functions of failure probabilities are derived. Further analysis of PMF lead to estimates of system quality that enable safety managers to take an optimal choice between design alternatives and to target cost-efficient solutions in every phase of the design process.