Skip to main content
SpringerLink
Log in

An approach to modelling and analysing reliability of Breeze/ADL-based software architecture

  • Research Article
  • Published:
International Journal of Automation and Computing Aims and scope Submit manuscript

Abstract

Breeze/architecture description language (ADL), is an eXtensible markup language (XML) based architecture description language which is used to model software systems at the architecture level. Though Breeze/ADL provides an appropriate basis for architecture modelling, it can neither analyse nor evaluate the architecture reliability. In this paper, we propose a Breeze/ADL based strategy which, by combining generalized stochastic Petri net (GSPN) and tools for reliability analysis, supports architecture reliability modelling and evaluation. This work expands the idea in three directions: Firstly, we give a Breeze/ADL reliability model in which we add error attributes to Breeze/ADL error model for capturing architecture error information, and at the same time perform the system error state transition through the Breeze/ADL production. Secondly, we present how to map a Breeze/ADL reliability model to a GSPN model, which in turn can be used for reliability analysis. The other task is to develop a Breeze/ADL reliability analysis modelling tool–EXGSPN (Breeze/ADL reliability analysis modelling tool), and combine it with platform independent petri net editor 2 (PIPE2) to carry out a reliability assessment.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Information Technology-Software Product Evaluation-Quality Characteristics and Guidelines for Their Use, ISO9126, 1992.

  2. Quality Management and Quality Assurance-Vocabulary, ISO8402, 1994.

  3. Quality Vocabulary. Quality Concepts and Related Definitions, BS4778, 1991.

  4. J. Moubray. RCM II: Reliability-Centered Maintenance, New York, USA: Industrial Press Inc., 2001.

    Google Scholar 

  5. A. Avizienis, J. C. Laprie, B. Randell, C. Landwehr, Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing, vol 1, no. 1, pp. 11–33, 2004.

    Article  Google Scholar 

  6. Model Driven Architecture (MDA), OMG, 2010.

  7. C. Li, L. P. Huang, L. X. Chen, C. Y. Yu. Breeze/ADL: Graph Grammar Support for an XML-Based Software Architecture Description Language. In Proceedings of the 37th IEEE Computer Software and Applications Conference, IEEE, Kyoto, Japan, pp. 800–805, 2013.

    Google Scholar 

  8. C. Li, L. P. Huang, L. X. Chen, C. Y. Yu. BGG: A graph grammar approach for software architecture verification and reconfiguration. In Proceedings of the 7th International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, ACM, Taichung, Taiwan, pp. 291–298, 2013.

    Google Scholar 

  9. P. H. Feiler, D. P. Gluch, J. J. Hudak. The Architecture Analysis & Design Language (AADL): An Introduction, Technical Report, DTIC Document, 2006.

    Google Scholar 

  10. P. H. Feiler, A. Rugina. Dependability Modeling with the Architecture Analysis & Design Language (AADL), Technical Report, DTIC Document, 2007.

    Google Scholar 

  11. G. Chiola, M. A. Marsan, G. Balbo, G. Conte, Generalized stochastic Petri nets: A definition at the net level and its implications. IEEE Transactions on Software Engineering, vol 19, no. 2, pp. 89–107, 1993.

    Article  Google Scholar 

  12. Y. W. Dong, G. R. Wang, F. Zhang, L. Gao, Reliability analysis and assessment tool for AADL model. Journal of Software, vol 22, no. 6, pp. 1252–1266, 2011.

    Article  Google Scholar 

  13. A. E. Rugina, K. Kanoun, M. Kaâniche. A system dependability modeling framework using AADL and GSPNs. Architecting Dependable Systems IV, R. de Lemos, C. Gacek, A. Romanovsky, Eds., Berlin Heidelberg, Germany: Springer, vol. 4615, pp. 14–38, 2007.

    Chapter  Google Scholar 

  14. J. Y. Choi, S. A. Reveliotis. A generalized stochastic Petri net model for performance analysis and control of capacitated reentrant lines. IEEE Transactions on Robotics and Automation, vol. 19, no. 3, pp. 474–480, 2003.

    Article  Google Scholar 

  15. M. A. Marsan, G. Conte, G. Balbo. A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems. ACM Transactions on Computer Systems (TOCS), vol. 2, no. 2, pp. 93–122, 1984.

    Article  Google Scholar 

  16. H. H. Ammar, S. M. R. Islam, Time scale decomposition of a class of generalized stochastic Petri net models. IEEE Transactions on Software Engineering, vol 15, no. 6, pp. 809–820, 1989.

    Article  Google Scholar 

  17. C. A. Ericson. Event tree analysis. Hazard Analysis Techniques for System Safety, pp. 223–234, 2013.

    Google Scholar 

  18. W. S. Lee, D. Grosh, F. A. Tillman, C. H. Lie, Fault tree analysis, methods, and applications-A review. IEEE Transactions on Reliability, vol 34, no. 3, pp. 194–203, 1985.

    Article  MATH  Google Scholar 

  19. R. Kolar, E. Koh. Reliability Block Diagrams. 2006.

    Google Scholar 

  20. K. Ishikawa. Guide to Quality Control, Tokyo, Japan: Asian Productivity Organization Tokyo, vol. 2, 1982.

    Google Scholar 

  21. N. J. Dingle, W. J. Knottenbelt, T. Suto. PIPE2: A tool for the performance evaluation of generalised stochastic Petri Nets. ACM SIGMETRICS Performance Evaluation Review, vol. 36, no. 4, pp. 34–39, 2009.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Centre for Creative Computing, Bath Spa University, Bath, UK

    Chen Li & Hong-Ji Yang

  2. College of Computer Science and Technology, Jilin University, Jilin, China

    Hua-Xiao Liu

Authors
  1. Chen Li
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hong-Ji Yang
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Hua-Xiao Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Hong-Ji Yang.

Additional information

This work was supported by Jilin Province Science Foundation for Youths (No. 20150520060JH).

Recommended by Associate Editor Chandrasekhar Kambhampati

Chen Li received the B. Sc. degree in computer science and technology from University of Science and Technology of China, China in 2003, the M. Sc. degree in computer applications technology from the University of Shanghai for Science and Technology, China in 2010, and the Ph.D. degree in computer science and technology from Shanghai Jiao Tong University, China in 2015. Currently, he is a postdoctoral research assistant in School of Humanities and Cultural Industries at Bath Spa University, UK. He has published about 32 refereed journal and conference papers. He is a member of CCF and IEEE.

His research interests include software architecture, software reliability and formal methods.

ORCID iD: 0000-0001-6249-8957

Hong-Ji Yang received the B. Sc. and M. Sc. degrees in computer science from the Jilin University, China in 1982 and 1985, respectively, and the Ph.D. degree in computer science from Durham University, UK in 1994. He was a faculty member at several universities, i.e., Jilin University, China in 1985, Durham University, UK in 1989, De- Montfort University, UK in1993, and Bath Spa University, UK in 2013. Currently, he is a professor in School of Humanities and Cultural Industries at Bath Spa University, UK. He has published about 400 refereed journal and conference papers. He has become IEEE Computer Society Golden Core Member since 2010. Also, he is a member of Engineering and Physical Sciences Research Council (EPSRC), Peer Review College since 2003. He is the editor in chief of International Journal of Creative Computing, InderScience.

His research interests include software engineering, creative computing, web and distributed computing.

ORCID iD: 0000-0001-6561-3631

Hua-Xiao Liu received the B. Sc. and Ph.D. degrees in computer science from Jilin University, China in 2009 and 2013. Currently, he is a lecturer in College of Computer Science and Technology, Jilin University, China. He has published about 12 refereed journal and conference papers. He is a member of CCF and IEEE.

His research interests include improving software quality, software requirements engineering, software cybernetics, formal methods of software development and verification of aspect-oriented requirements model based on ontology.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Li, C., Yang, HJ. & Liu, HX. An approach to modelling and analysing reliability of Breeze/ADL-based software architecture. Int. J. Autom. Comput. 14, 275–284 (2017). https://doi.org/10.1007/s11633-016-1044-9

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11633-016-1044-9

Keywords

Search

Navigation