Advertisement

System-level Dependability Analysis

  • A. Bobbio
  • D. Codetta Raiteri
  • M. De Pierro
  • G. Franceschinis
Chapter
  • 845 Downloads
Part of the Springer Series in Advanced Microelectronics book series (MICROELECTR., volume 17)

9.1 Abstract

The focus of this work is on the dependability analysis of safety or mission-critical systems; in particular, we concentrate on the control subsystem, which is made up of several components. We assume that the components, which may be designed with the support of hardware—software codesign tools, are characterized by dependability (e.g. failure rate) parameters, which may derive from simulators of the components while they are under development, or as a result of testing (possibly combined with fault injection techniques). By using combinatorial and state-space-based techniques it is possible to derive the reliability of the whole system as a function of the system configuration and of the component parameters values, and to identify the criticality of a given component or subset of components. The analysis is performed by applying Fault Tree Analysis (FTA) techniques enhanced with recently introduced features that allow one to remove the components’ independence assumptions imposed by classical FTA, and to include the possibility of component as well as subsystem repair.

Keywords

Failure Probability Main Memory Fault Tree Importance Measure Input Event 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Anand A, Somani K (1998) Hierarchical analysis of fault trees with dependencies, using decomposition. In: Proc. Annual Reliability and Maintainability Symposium, 69–75Google Scholar
  2. [2]
    Birnbaum ZW (1969) On the importance of different components and a multicomponent system. In: Korishnaiah P.R., editor, Multivariable Analysis II. Academic Press, New YorkGoogle Scholar
  3. [3]
    Bobbio A, Franceschinis G, Gaeta R, Portinale L (2003) Parametric fault-tree for the dependability analysis of redundant systems and its high level Petri net semantics. IEEE Transactions on Software Engineering, 29: 270–287CrossRefGoogle Scholar
  4. [4]
    Bobbio A, Franceschinis G, Gaeta R, Portinale L (2001) Dependability assessment of an industrial programmable logic controller via parametric fault-tree and high level PN. In: Proc. 9th International Workshop on Petri Nets and Performance Models, 29–38Google Scholar
  5. [5]
    Bobbio A, Codetta Raiteri D (2004) Parametric fault trees with dynamic gates and repair box. In: Proceedings of the Annual Reliablity and Maintainability Symposium, 459–465Google Scholar
  6. [6]
    Bobbio A, Portinale L, Minichino M, Ciancamerla E (2001) Improving the analysis of dependable systems by mapping fault trees into Bayesian networks. Reliability Engineering and System Safety, 71: 249–260CrossRefGoogle Scholar
  7. [7]
    Bouissou M, Bruyère F, Rauzy A (1997) BDD based fault-tree processing: a comparison of variable ordering heuristics. In: C. Guedes Soares, editors, Proceedings of European Safety and Reliability Association Conference, vol. 3, 2045–2052, Pergamon, ISBN 0-08-042835-5Google Scholar
  8. [8]
    Bryant R (1987) Graph based algorithms for Boolean function manipulation. IEEE Transactions on Computer, 35(8): 677–691Google Scholar
  9. [9]
    Buchacker K (1999) Combining fault trees and Petri nets to model safety-critical systems. In: Tentner A., editor, High Performance Computing, The Society for Computer Simulation InternationalGoogle Scholar
  10. [10]
    Chiola G, Duthuillet C, Franceschinis G, Haddad S (1991) Stochastic well-formed colored nets and multiprocessor modelling applications. In: Jensen K., Rozenberg G., editors, High-Level Petri Nets. Theory and Application, Springer VerlagGoogle Scholar
  11. [11]
    Chiola G, Duthuillet C, Franceschinis G, Haddad S (1993) Stochastic well-formed colored nets and symmetric modeling applications. IEEE Transactions on Computers, 42: 1343–1360CrossRefGoogle Scholar
  12. [12]
    Chiola G, Franceschinis G, Gaeta R, Ribaudo M (1995) GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets. Performance Evaluation, (24): 47–68CrossRefGoogle Scholar
  13. [13]
    Codetta Raiteri D, Franceschinis G, Iacono M, Vittorini V (2004) Repairable fault tree for the automatic evaluation of repair policies. In: Conference on Dependable Systems and Networks. Performance and Dependability SymposiumGoogle Scholar
  14. [14]
    Codetta Raiteri D (2003) Development of a dynamic fault tree solver based on colored Petri nets and graphically interfaced with DrawNET. In: Technical Report TR-INF-2003-10-06-UNIPMN, http://www.di.unipmn.it/Tecnical-R/index.htmGoogle Scholar
  15. [15]
    Contini S, Poucet A (1990) Advances on fault tree and event tree techniques. In: A. Colombo G., Saiz de Bustamante A., editors, System Reliability Assessment, 77–102, Kluwer Academic PublishersGoogle Scholar
  16. [16]
    Contini S (1998) Astra Knowledge Handbook. Logical and probabilistic analysis methods. Special publication of the European Commission Joint Research Centre, 98(138)Google Scholar
  17. [17]
    Dugan JB, Bavuso SJ, Boyd MA (1992) Dynamic fault-tree models for fault-tolerant computer systems. IEEE Transactions on Reliability, 41: 363–377CrossRefGoogle Scholar
  18. [18]
    Dugan JB, Sullivan KJ, Coppit D (1999) Developing a low-cost, high-quality software tool for dynamic fault tree analysis. Transactions on Reliability, (12): 49–59Google Scholar
  19. [19]
    Dutuit Y, Rauzy A (1996) A linear-time algorithm to find modules of fault trees. IEEE Transactions on Reliability, 45: 422–425CrossRefGoogle Scholar
  20. [20]
    Dutuit Y, Lemaire O, Rauzy A (2000) New insight on measures of importance of components and systems in fault tree analysis. In: Kondo S., Furuta K., editors, Proceedings of the International Conference on Probabilistic Safety Assessment and Management, 729–734, Universal Academy Press, ISBN 4-946443-64-9Google Scholar
  21. [21]
    Dutuit Y, Rauzy A (1999) New algorithms to compute importance factors CPr, MIF, CIF, DIF, RAW and RRW. In: Proc. of the European Safety and Reliability Association Conference, 1015–1020Google Scholar
  22. [22]
    Dutuit Y, Rauzy A (2000) Efficient algorithms to assess components and gates importances in fault tree analysis. Reliability Engineering and System Safety, 72: 213–222Google Scholar
  23. [23]
    Franceschinis G, Gribaudo M, Iacono M, Mazzocca N, Vittorini V (2002) Towards an object based multi-formalism multi-solution modeling approach. In: Proc. of the Second International Workshop on Modelling of Objects, Components, and Agents, 47–66Google Scholar
  24. [24]
    Hoyland A, Rausand M (1994) System reliability theory, John Wiley & SonGoogle Scholar
  25. [25]
    Kovalenko IN, Kuznetsov NY, Pegg PA (1997) Mathematical theory of reliability of time dependent systems with practical applications. Wiley Series in Probability and Statistics, John Wiley & SonGoogle Scholar
  26. [26]
    Manian R, Coppit DW, Sullivan KJ, Dugan JB (1999) Bridging the gap between systems and dynamic fault tree models. In: Proceedings Annual Reliability and Maintainability Symposium, 105–111Google Scholar
  27. [27]
    Manian R, Dugan JB, Coppit D, Sullivan K (1998) Combining various solution techniques for dynamic fault tree analysis of computer systems. In: Proc. Third IEEE International High-Assurance Systems Engineering Symposium, 21–28Google Scholar
  28. [28]
    Malhotra M, Trivedi K (1994) Power-hierarchy of dependability-model types. IEEE Transactions on Reliability, 43(3): 493–502CrossRefGoogle Scholar
  29. [29]
    Malhorta M, Trivedi K (1995) Dependability modeling using Petri nets. IEEE Transactions on Reliability, 44: 428–440Google Scholar
  30. [30]
    Natvig B (1985) New light on measures of importance of system components. Scandinavian Journal of Statistics, 12: 43–52zbMATHMathSciNetGoogle Scholar
  31. [31]
    Portinale L, Bobbio A (1999) Bayesian networks for dependability analysis: an application to digital control reliability. In: 15th Conference Uncertainty in Artificial Intelligence, 551–558Google Scholar
  32. [32]
    Rauzy A (1993) New algorithms for fault trees analysis. Reliability Engineering and System Safety, 40: 203–211CrossRefGoogle Scholar
  33. [33]
    Rauzy A (2001) Mathematical foundation of minimal cutsets. IEEE Transactions on Reliability, 50(4): 389–396CrossRefGoogle Scholar
  34. [34]
    Sahner RA, Trivedi KS, Puliafito A (1996) Performance and reliability analysis of computer systems; an example-based approach using the SHARPE software package, Kluwer Academic PublishersGoogle Scholar
  35. [35]
    Sinnamon RM, Andrews JD (1996) Quantitative fault tree analysis using binary decision diagrams. Journal Européen des Systèmes Automatisés, 30(8): 1051–1071Google Scholar
  36. [36]
    Sinnamon RM, Andrews JD (1997) Improved accuracy in qualitative fault tree analysis. Quality and Reliability Engineering International, 13: 285–292CrossRefGoogle Scholar
  37. [37]
    Schneeweiss WG (1999) The fault tree method, LiLoLe VerlagGoogle Scholar
  38. [38]
    Sonza Reorda M, Violante M, Mazzocca N, Venticinque S, Franceschinis G, Bobbio A (2002) A hierarchical approach for designing dependable systems. In: 7th Annual IEEE International Workshop on High Level Design Validation and Test, 63–67Google Scholar
  39. [39]
    Sullivan KJ, Dugan JB, Coppit D (1999) The Galileo fault tree analysis tool. In: Proc. of the 29th Annual International Symposium on Fault-Tolerant Computing, 232–235Google Scholar
  40. [40]
    Tang Z, Dugan JB (2004) Minimal cut set/sequence generation for dynamic fault trees. In: Annual Reliability and Maintainability SymposiumGoogle Scholar
  41. [41]
    Vesley VE (1970) A time dependent methodology for fault tree evaluation. Nuclear Engineering and Design, 13: 337–360Google Scholar
  42. [42]
    Fussel JB How to hand-calculate system reliability characteristics. IEEE Transactions on Reliability, 24(3)Google Scholar
  43. [43]
    Vittorini V, Franceschinis G, Gribaudo M, Iacono M, Bertoncello C (2002) DrawNET++: a flexible framework for building dependability models. In: Proc. International Conference on Dependable Systems and NetworksGoogle Scholar

Copyright information

© Springer-Verlag London Limited 2005

Authors and Affiliations

  • A. Bobbio
    • 1
    • 2
  • D. Codetta Raiteri
    • 1
    • 2
  • M. De Pierro
    • 1
    • 2
  • G. Franceschinis
    • 1
    • 2
  1. 1.Dipartimento di InformaticaUniversità del Piemonte OrientaleAlessandriaItaly
  2. 2.Dipartimento di InformaticaUniversità di TorinoTorinoItaly

Personalised recommendations