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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Anand A, Somani K (1998) Hierarchical analysis of fault trees with dependencies, using decomposition. In: Proc. Annual Reliability and Maintainability Symposium, 69–75
Birnbaum ZW (1969) On the importance of different components and a multicomponent system. In: Korishnaiah P.R., editor, Multivariable Analysis II. Academic Press, New York
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–287
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–38
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–465
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–260
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-5
Bryant R (1987) Graph based algorithms for Boolean function manipulation. IEEE Transactions on Computer, 35(8): 677–691
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 International
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 Verlag
Chiola G, Duthuillet C, Franceschinis G, Haddad S (1993) Stochastic well-formed colored nets and symmetric modeling applications. IEEE Transactions on Computers, 42: 1343–1360
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–68
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 Symposium
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.htm
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 Publishers
Contini S (1998) Astra Knowledge Handbook. Logical and probabilistic analysis methods. Special publication of the European Commission Joint Research Centre, 98(138)
Dugan JB, Bavuso SJ, Boyd MA (1992) Dynamic fault-tree models for fault-tolerant computer systems. IEEE Transactions on Reliability, 41: 363–377
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–59
Dutuit Y, Rauzy A (1996) A linear-time algorithm to find modules of fault trees. IEEE Transactions on Reliability, 45: 422–425
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-9
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–1020
Dutuit Y, Rauzy A (2000) Efficient algorithms to assess components and gates importances in fault tree analysis. Reliability Engineering and System Safety, 72: 213–222
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–66
Hoyland A, Rausand M (1994) System reliability theory, John Wiley & Son
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 & Son
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–111
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–28
Malhotra M, Trivedi K (1994) Power-hierarchy of dependability-model types. IEEE Transactions on Reliability, 43(3): 493–502
Malhorta M, Trivedi K (1995) Dependability modeling using Petri nets. IEEE Transactions on Reliability, 44: 428–440
Natvig B (1985) New light on measures of importance of system components. Scandinavian Journal of Statistics, 12: 43–52
Portinale L, Bobbio A (1999) Bayesian networks for dependability analysis: an application to digital control reliability. In: 15th Conference Uncertainty in Artificial Intelligence, 551–558
Rauzy A (1993) New algorithms for fault trees analysis. Reliability Engineering and System Safety, 40: 203–211
Rauzy A (2001) Mathematical foundation of minimal cutsets. IEEE Transactions on Reliability, 50(4): 389–396
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 Publishers
Sinnamon RM, Andrews JD (1996) Quantitative fault tree analysis using binary decision diagrams. Journal Européen des Systèmes Automatisés, 30(8): 1051–1071
Sinnamon RM, Andrews JD (1997) Improved accuracy in qualitative fault tree analysis. Quality and Reliability Engineering International, 13: 285–292
Schneeweiss WG (1999) The fault tree method, LiLoLe Verlag
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–67
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–235
Tang Z, Dugan JB (2004) Minimal cut set/sequence generation for dynamic fault trees. In: Annual Reliability and Maintainability Symposium
Vesley VE (1970) A time dependent methodology for fault tree evaluation. Nuclear Engineering and Design, 13: 337–360
Fussel JB How to hand-calculate system reliability characteristics. IEEE Transactions on Reliability, 24(3)
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 Networks
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag London Limited
About this chapter
Cite this chapter
Bobbio, A., Codetta Raiteri, D., De Pierro, M., Franceschinis, G. (2005). System-level Dependability Analysis. In: Sonza Reorda, M., Peng, Z., Violante, M. (eds) System-level Test and Validation of Hardware/Software Systems. Springer Series in Advanced Microelectronics, vol 17. Springer, London. https://doi.org/10.1007/1-84628-145-8_9
Download citation
DOI: https://doi.org/10.1007/1-84628-145-8_9
Publisher Name: Springer, London
Print ISBN: 978-1-85233-899-2
Online ISBN: 978-1-84628-145-7
eBook Packages: EngineeringEngineering (R0)