Simple models for high-availability systems with dependent components

Proceedings of the European Safety and Reliability Conference 2006, ESREL 2006 - Safety and Reliability for Managing Risk

Volumn 2, Issue , 2006, Pages 1719-1726

  Walter, M ^a   Trinitis, C ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

RISK MANAGEMENT; WATER SUPPLY; WATER SUPPLY SYSTEMS;

APPLICATION AREAS; AUTOMATICALLY GENERATED; COMBINATORIAL METHODS; FAULT-TOLERANT; INPUT MODELS; INTERCOMPONENT DEPENDENCIES; LEVEL MODELS; MANUAL DESIGNS; MODELING ENVIRONMENTS; MODELING TECHNIQUES; RELIABILITY BLOCK DIAGRAMS; RELIABILITY ENGINEERS; SIMPLE MODELS; SPACE DOMAINS; TRANSFORMATION PROCESSES;

RELIABILITY;

APPLICATION AREA; AUTOMATICALLY GENERATED; COMBINATORIAL METHOD; FAULT-TOLERANT SYSTEMS; HIGH AVAILABILITY; INPUT MODELS; INTER-COMPONENT DEPENDENCIES; MANUAL DESIGN; MODELING ENVIRONMENTS; MODELING TECHNIQUE; RELIABILITY BLOCK DIAGRAMS; STATE-BASED; STATE-BASED MODELS; STATE-SPACE; TRANSFORMATION PROCESS;

EID: 56249104456     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

1. Ajmone Marsan, M., G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis (1995). Modelling with Generalized Stochastic Petri Nets. Wiley and Sons.
2. Bondavalli, A., M. Dal Cin, D. Latella, I. Majzik, A. Pataricza, and G. Savoia (2001). Dependability Analysis in the Early Phases of UML Based System Design. Journal of Computer Systems Science and Engineering 16, 265ff.
3. Bouissou, M. and J. L. Bon (2003, 11). A new formalism that combines advantages of faulttrees and markov models: Boolean logic driven markov processes. Reliability Engineering and System Safety 82(2), 149-163.
4. Clark, G., T. Courtney, D. Daly, D. Deavours, S. Derisavi, J. M. Doyle, W. H. Sanders, and P. Webster (2001). TheM̈obius modeling tool. In Proc. 9th International Workshop on Petri Nets and Performance Models. IEEE Computer Society Press.
5. Coppit, D. and K. J. Sullivan (2000). Galileo: A tool built from Mass-Market Applications. In Proceedings of the 22nd International Conference on Software Engineering, pp. 750-753. IEEE Computer Society Press.
6. Doyle, S., J. Dugan, and F. Patterson-Hine (1995, March). A Combinatorial Approach to Modeling Imperfect Coverage. IEEE Transaction on Reliability 44(1), 87ff.
7. Dugan, J., K. Sullivan, and D. Coppit (2000, March). Developing a low-cost high-quality software tool for dynamic fault-tree analysis. IEEE Transaction on Reliability 49(1), 49ff.
8. German, R., C. Kelling, A. Zimmermann, and G. Hommel (1995). TimeNet: A toolkit for evaluating non- Markovian stochastic Petri nets. Performance Evaluation 24, 69ff.
9. Goyal, A., W. Carter, E. de Souza e Silva, S. Lavenberg, and K. S. Trivedi (1986, July). The System Availability Estimator (SAVE). In Proc. Sixteenth International Symposium on Fault-Tolerant Computing. IEEE Computer Society Press.
10. Hermanns, H., U. Herzog, and J.-P. Katoen (2002). Process algebra for performance evaluation. Theor. Comput. Sci. 274(1-2), 43-87.
11. Kaiser, B., P. Liggesmeyer, and O. Mäckel (2003). A new component concept for fault trees. In Proceedings of the 8th Australian Workshop on Safety Critical Systems and Software (SCS'03), Volume 33.
12. Kuntz, M., M. Siegle, and E. Werner (2004). CASPA - A Tool for Symbolic Performance and Dependability Evaluation. In Proceedings of EPEW'04 (FORTE co-located workshop, pp. 293-307. Springer, LNCS 3236.
13. Kuo, S.-K., S.-K. Lu, and F.-M. Yeh (1999). Determining Terminal-Pair Reliability Based On Edge Expansion Diagrams Using OBDD. Transaction on Reliability 48(3), 234-246.
14. Lampka, K. and M. Siegle (2006). Activity-local symbolic state graph generation for high-level stochastic models. In Proceedings of the 13th GI/ITG Conference on Measurement, Modeling, and Evaluation of Computer and Communication Systems (MMB 2006).
15. Lindemann, C. (1998). Performance Modelling with Deterministic and Stochastic Petri Nets. Wiley and Sons.
16. Majzik, I., A. Pataricza, and A. Bondavalli (2003). Stochastic Dependability Analysis of System Architecture Based on UML Models. Lecture Notes in Computer Science 2677, 219-244.
17. Sahner, R., K. Trivedi, and A. Puliafito (1996). Performance and Reliability Analysis of Computer Systems. Kluwer Academic Publishers.
18. Tang, D., M. Hecht, J. Miller, and J. Handal (1998, December). MEADEP: A dependability evaluation tool for engineers. IEEE Transaction on Computers 47(4), 443ff.
19. Walter, M. and W. Schneeweiss (2005). The modeling world of Reliability/Safety Engineering. LiLoLe Verlag.
20. Walter, M. and C. Trinitis (2004). How to Integrate Inter-Component Dependencies into Combinatorial Availability Models. In Proc. Ann. Reliability and Maintainability Symp. (RAMS 2004), Los Angeles, USA, pp. 226-231. IEEE Computer Society Press.
21. Walter, M. and C. Trinitis (2005). OpenSESAME: Simple but Extensive Structured Availability Modeling Environment. In Proc. 2nd International Conference on the Quantitative Evaluation of Systems (QEST) 2005. IEEE Computer Society Press.