Fault tree analysis of software-controlled component systems based on second-order probabilities

Proceedings - International Symposium on Software Reliability Engineering, ISSRE

Volumn , Issue , 2009, Pages 146-154

  Förster, Marc ^a   Trapp, Mario ^a  

^a FRAUNHOFER IESE   (Germany)

Author keywords

Embedded systems; Fault tree analysis; Probability intervals; Safety; Simulation; Software

Indexed keywords

BLACK BOXES; COMPONENT SYSTEMS; COST-EFFICIENT; DESIGN ALTERNATIVES; DESIGN DECISIONS; DESIGN PROCESS; DESIGN SPACES; DEVELOPMENT PROCESS; FAILURE PROBABILITY; FAILURE RATE; FAULT-TREES; HARDWARE AND SOFTWARE; MONTE-CARLO SAMPLING; OPTIMAL CHOICE; PROBABILITY MASS FUNCTION; QUALITATIVE ANALYSIS; SAFETY; SAFETY ANALYSIS; SAFETY GOALS; SAFETY MANAGERS; SAFETY MODELS; SECOND ORDERS; SIMULATION SOFTWARE; SYSTEM QUALITY;

BRIDGES; COMPUTER SOFTWARE SELECTION AND EVALUATION; DESIGN; EMBEDDED SOFTWARE; EMBEDDED SYSTEMS; FAULT TREE ANALYSIS; PROBABILITY; SAFETY ENGINEERING; SOFTWARE RELIABILITY;

QUALITY ASSURANCE;

EID: 77951441508     PISSN: 10719458     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISSRE.2009.22     Document Type: Conference Paper

References (45)

1. Akers, S B (1978). Binary decision diagrams. IEEE Transactions on Computers, 27(6): 509-516.
2. Andrews, J D (2000). To not or not to not. Proceedings of the 18th International System Safety Conference, 267-275.
3. Atkinson, C, B Paech, J Reinhold, T Sander (2001). Developing and applying component-based model-driven architectures in KobrA. Proceedings of the 5th IEEE International Conference on Enterprise Distributed Object Computing, EDOC, 212-223.
4. Berleant D, B Kuipers (1997). Qualitative and quantitative simulation: bridging the gap. Artificial Intelligence, 95: 215-255.
5. Birnbaum, Z W (1969). On the importance of different components in a multicomponent system. P R Krishnaiah (ed.), Multivariate Analysis II, 581-592.
6. Brattin W J, T M Barry, N Chiu (1996). Monte Carlo modelling with uncertain probability density functions. Human and Ecological risk Assessment, 2(4): 820-840.
7. Brickenstein, M, A Dreyer (2007). POLYBORI: A Gröbner basis framework for Boolean polynomials. Technischer Bericht 122/2007, Fraunhofer-Institut für Techno- und Wirtschaftsmathematik.
8. Bryant, R E (1986). Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers, 35: 677-691.
9. Carreras, C, I D Walker (2001). Interval methods for fault tree analysis in robotics. IEEE Transactions on Reliability, 50(1): 3-11.
10. Cooper, A J (1998). Constrained mathematics evaluation in probabilistic logic analysis. Reliability Engineering & System Safety, 60(3): 199-203.
11. Cooper, A J, S Ferson (1999). New mathematical derivations applicable to safety and reliability analysis. European Safety and Reliability Conference proceedings.
12. th IEEE Symposium on High Assurance Systems Engineering proceedings, HASE'04, 12-21.
13. Domis, D, M Förster, S Kemmann, M Trapp (2009). Safety concept trees. Reliability and Maintainability Symposium proceedings.
14. Domis, D, M Trapp (2008). Integrating safety analyses and componentbased design. Proceedings of the 27th International Conference on Computer Safety, Reliability and Security (LNCS 5219): 58-71.
15. Fagin R, J Y Halpern (1989). Uncertainty, belief and probability. Computational Intelligence: 1161-1167. Morgan Kaufman.
16. Fenton, N E, M Neil (2000). Software metrics: a roadmap. Proceedings of the Conference on the Future of Software Engineering: 357-370.
17. Fenton, N, B Littlewood, M Neil, L Strigini, A Sutcliffe, D Wright (1998). Assessing dependability of safety critical systems using diverse evidence. IEE Proceedings on Software, 145(1): 35-39.
18. Ferson S, L R Ginzburg (1996). Different methods are needed to propagate ignorance and variability. Reliability Engineering & System Safety, 54(2-3): 133-144.
19. Gokhale, S S, M R Lyu, K S Trivedi (1998). Reliability simulation of component-based software systems. 9th International Symposium on Software Reliability Engineering proceedings: 192-201.
20. Goševa-Popstojanova, K, K S Trivedi (2001). Architecture-based approach to reliability assessment of software systems. Performance Evaluation, 45(2-3): 179-204.
21. Guth, M A S (1991). A probabilistic foundation for vagueness & imprecision in fault tree analysis. IEEE Transactions on Reliability, 40(5): 563-571.
22. Helmer, G, J Wong, M Slagell, V Honavar, R Lutz (2002). A Software fault tree approach to requirements analysis of an intrusion detection system. Requirements Engineering Journal, 7(4): 207-220.
23. Hobbs, J R, V Kreinovich (2006). Optimal choice of granularity in commonsense estimation: why half-orders of magnitude? International Journal of Intelligent Systems, 21(8): 843-855.
24. http://essarel.de.
25. IEC 62304 (2006). Medical device software - Software life-cycle processes. Comitè Européen de Normalisation Electrotechnique, CENELEC. http://www.cenelec.eu.
26. ISO/DIS 26262 (2009). Road vehicles - Functional safety. Draft international standard. International Organization for Standardization. http://www.iso.org.
27. Kaiser, B, P Liggesmeyer, O Mäckel (2003). A new component concept for fault trees. 8th Australian Workshop on Safety-Critical Systems and Software proceedings: 37-46.
28. Kreinovich, V, S Ferson (2006). Computing best possible bounds for the distribution of a sum of several variables is NP-hard. International Journal of Approximate Reasoning, 41(3): 331-342.
29. Lee, C Y (1959). Representation of switching circuits by binary decision programs. Bell Systems Technical Journal, 38: 985-999.
30. Leveson, N G (1995). Safeware: system safety and computers. Addison-Wesley.
31. Lodwick, W A (1999). Constrained interval arithmetic. CCM Report 138.
32. MISRA (2007). Guidelines for the safety analysis of vehicle-based programmable systems. MISRA Ltd, http://www.misra.org.uk.
33. Moore, R A (1979). Methods and applications of interval analysis. Society for Industrial and Applied Mathematics.
34. Nayak, P (1992). Order of magnitude reasoning using logarithms. Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning: 201-210.
35. Nguyen, H T, V Kreinovich (2002). From [0, 1]-based logic to interval logic. Notes on Intuitionistic Fuzzy Sets, 8(3): 75-94.
36. Page, L B, J E Perry (1994). Standard deviation as an alternative to fuzziness in fault tree models. IEEE Transactions on Reliability, 43(3): 402-407.
37. Parsons, S (2003). Qualitative probability and order of magnitude reasoning. International Journal of Uncertainty, Fuzzyness and Knowledge-Based Systems, 11(3): 373-390.
38. Schneeweiss, W (1998). On the polynomial form of Boolean functions: derivations and applications. IEEE Transactions on Computers, 47(2): 217-221.
39. Sentz, K, A Wilson (2005). Fault tree uncertainty quantification using probabilities and belief structures on basic and non-basic events. Annual Meeting of the North American Fuzzy Information Processing Society proceedings: 65-68.
40. Shannon, C E (1940). A symbolic analysis of relay and switching circuits. Massachusetts Institute of Technology, Department of Electrical Engineering.
41. Sharvia, S, Y Papadopoulos (2008). Non-coherent modelling in compositional fault tree analysis. Proceedings of the 17th World Congress, IFAC.
42. Skelboe, S (1974). Computation of rational interval functions. BIT, 14(1): 87-95.
43. Tanaka, H, L T Fan (1983). Fault tree analysis by fuzzy probability. IEEE Transactions on Reliability, 32: 453-457.
44. Trapp, M, S Kemmann, R Kalmar, Chr Denger (2009). Efficient safety analysis of automotive software systems. SAE 2009 World Congress, document no. 2009-01-0749.
45. Zonouz, S A, S Gh Miremadi (2006). A fuzzy-Monte Carlo simulation approach for fault tree analysis. 52nd Annual Reliability and Maintainability Symposium proceedings.