Composing hierarchical stochastic model from SysML for system availability analysis

2013 IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013

Volumn , Issue , 2013, Pages 51-60

  Machida, Fumio ^a   Xiang, Jianwen ^a   Tadano, Kumiko ^a   Maeno, Yoshiharu ^a  

^a NEC CORPORATION   (Japan)

Author keywords

automated model composition; availability analysis; model decomposition; stochastic model; web application system

Indexed keywords

AUTOMATED MODELING; AUTOMATICALLY GENERATED; AVAILABILITY ANALYSIS; HIERARCHICAL DECOMPOSITIONS; MODEL DECOMPOSITION; STOCHASTIC REWARD NETS; SYSTEM SPECIFICATION; WEB APPLICATION SYSTEMS;

ANALYTICAL MODELS; APPLICATIONS; AUTOMATION; SOFTWARE RELIABILITY; SPECIFICATIONS; STATE SPACE METHODS; STOCHASTIC MODELS; WORLD WIDE WEB;

SYSTEMS ANALYSIS;

EID: 84893308759     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISSRE.2013.6698904     Document Type: Conference Paper

References (26)

1. W. E. Vesely, F. F. Goldberg, N. H. Roberts, and D. F. Haasl, Fault Tree Handbook, NUREG-0492, US Nuclear Regulatory Commission, 1981.
2. S. Distefano and A. Puliafito, Dependability evaluation using dynamic reliability block diagrams and dynamic fault trees, IEEE Trans. on Dependable and Secure Computing, 2007.
3. M. A. Boyd, Dynamic fault tree models: Techniques for analysis of advanced fault tolerant computer systems, Ph. D. thesis, Duke University, Department of Computer Science, 1991.
4. K. S. Trivedi, D. Wang, and J. Hunt, Computing the number of calls dropped due to failures. In Proc. of Int'l. Symp. on Software Reliability Engineering (ISSRE), pp. 11-20, 2010.
5. F. Machida, E. Andrade, D. Kim, K. S. Trivedi, Candy: componentbased availability modeling framework for cloud service management using SysML, In. Proc. of SRDS, pp. 209-218, 2011.
6. R. Munrz, E. de Souza e Silva, and A. Goyal, Bounding availability of repairable computer systems, IEEE. Trans. on Comp., Dec. 1989.
7. G. Ciardo, K. S. Trivedi, A decomposition approach for stochastic Petri net models, In Proc. of Int'l Workshop on Petri Nets and Performance Models, pp. 74-83, 1991.
8. F. Longo, R. Ghosh, V. K. Naik and K. S. Trivedi, A scalable availability model for Infrastructure-as-a-Service cloud, In Proc. of Int'l Conf. on Dependable Systems and Networks (DSN), 2011.
9. E. W. D. Rozier and W. H. Sanders, Dependency-based decomposition of systems involving rare events, Coordinated Science Laboratory, Univ. of Illinois, Tech. Rep. UILU-ENG-11-2203-CRHC-11-03, 2011.
10. W. E. Smith, K. S. Trivedi, L. Tomek, J. Ackeret, Availability analysis of multicomponent blade server systems, IBM Systems Jornal, 2008.
11. K. S. Trivedi, R. Vasireddy, D. Trindade, S. Nathan, R. Castro, Modeling high availability systems, In Proc. on Int'l Conf. on Pacific Rim Dependability Computing (PRDC), 2006.
12. R. Manian, J. B. Dugan, D. Coppit, and K. J. Sullivan, Combining various solution techniques for dynamic fault tree analysis of computer systems, In Proc. of 3rd Int'l Symp. on High-Assurance Systems Engineering, pp. 21-28, 1998.
13. OMG Systems Modeling Language (OMG SysML) Version 1.2, http://www.omg.org/spec/SysML/1.2
14. S. Izukura, K. Yanoo, T. Osaki, H. Sakaki, D. Kimura, and Jianwen Xiang, Applying a model-based approach to IT systems development using SysML extension, In Proc. of Int. Conf. on Model Driven Engineering Languages and Systems, 2011
15. OMG UML. Profile for Modeling and Analysis of Real-Time and Embedded Systems (MARTE), http://www.omgmarte.org
16. A. Rauzy, New algorithms for fault trees analysis, Reliability Engeneering and System Safety, vol. 40, pp. 203-211, 1993.
17. G. Ciardo, A. Blakemore, P. F. Chimento, J. K. Muppala, and K. S. Trivedi, Automated generation and analysis of Markov reward models using stochastic reward nets, in: C. Meyer, R. Plemmons (Eds.), Linear Algebra, Markov Chains and Queuing Models, vol. 48, Springer, pp. 145-191, 1993.
18. J. Xiang, K. Yanoo, Y. Maeno, and K. Tadano, Automatic synthesis of static fault trees from system models, In Proc. of Int'l Conf. on Secure Software Integration and Reliability Improvement (SSIRI), pp. 127-136, 2011.
19. A. Bondavalli, I. Maizik, and I. Mura. Automated Dependability Analysis of UML Designs. In Proc. 2nd Int. Symp. on Objectoriented Real-time distributed Computing (ISORC'99), 1999.
20. G. J. Pai and B. Dugan, Automatic Synthesis of Dynamic Fault Trees from UML System Models, In Proc. 13th Int. Symp. on Software Reliability Engineering (ISSRE02). 2002.
21. R. H. Khan, and P. E. Heegaard, Translation from UML to SPN model: A performance modeling framework for managing behavior of multiple collaborative sessions and instances, In Proc. of Int. Conf. on Computer Design and Applications (ICCDA), 2010.
22. S. Bernardi, S. Donatelli, and J. Merseguer, From UML Sequence Diagrams and Statecharts to analysable Petri Net models, In Proc. of the 3rd Int. Workshop on Software and Performance, pp. 35-45, 2002.
23. S. Distefano, M. Scarpa, and A. Puliafito, From UML to Petri Nets: the PCM-Based Methodology, IEEE Transactions on Software Engineering, 12 Jan. 2010.
24. H. Singh, V. Cortellessa, B. Cukic, E. Gunel, and V. Bharadwaj. A bayesian approach to reliability prediction and assessment of component based systems. In Proc. of 12th Int. Symp. on Software Reliability Engineering (ISSRE01), 2001.
25. P. David, V. Idasiak, and F. Kratz, Reliability study of complex physical systems using SysML, Reliability Engineering & System Safety, Vol. 95, No. 4, pp. 431-450, 2010.
26. M. Bouissou and J. L. Bon, A new formalism that combines advantages of fault-trees and Markov models: Boolean logic Driven Markov Processes, Reliability Engineering and System Safety, vol. 82, no. 2, pp. 149-163, 2003.