Skip to main content
SpringerLink
Log in

Software Dependability Metrics and Analysis Based on AADL Error Model

  • Conference paper
Artificial Intelligence and Computational Intelligence (AICI 2011)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 7004))

  • 2240 Accesses

Abstract

To analyze the software products dependability early in the software life cycle is an important means to assure the final product quality. This paper firstly defines the rules of transforming the AADL error model into expanded Markov chain, and then builds a dependability measurement model based on AADL error model. After discussing how to use the property of Markov chain to measure the software, a method is presented to measure the software dependability as a whole combined with AADL core model. Finally an example is given to explain the use of the measurement method and to analyze the measurement results.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. An SAE International Group. (R) Architecture Analysis & Design Language (AADL) (January 2009)

    Google Scholar 

  2. Rugina, F.P.: A Dependability Modeling with the Architecture Analysis & Design Language(AADL) (2007)

    Google Scholar 

  3. Dong, Y.-W., Wang, G., Zhao, H.-B.: A Model-based Testing for AADL Model of Embedded Software. In: The 9th International Conference on Quality Software (QSIc 2009) (2009)

    Google Scholar 

  4. Guo, Y.: Probability Theory and Mathematical Statistics. Science Press (2007)

    Google Scholar 

  5. Liu, Y.: The Research of Software Reliability Based on Markov Analysis Method. Changchun University of Science and Technology (December 2005)

    Google Scholar 

  6. Tan, Z.: Research on Testing and Evaluation Theory of Reliability and Safety for High Dependability Software. University of Electronic Science and Technology of China (September 2005)

    Google Scholar 

  7. Software R. Utility Guide of Dependability. BUAA Press (January 1, 2005)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. G313, New Main Building, Software Engineering Institute, Beihang University, No. 37, College Road, Haidian District, Beijing, China

    Xin-ning Liu & Hong-bing Qian

Authors
  1. Xin-ning Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hong-bing Qian
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Business Information Technology, RMIT University, City Campus, 124 La Trobe Street, 3000, Melbourne, VIC, Australia

    Hepu Deng

  2. School of Electronics and Information, Tongji University, 201804, Shanghai, China

    Duoqian Miao

  3. School of Computer and Information Engineering, Shanghai University of Electric Power, 200090, Shanghai, China

    Jingsheng Lei

  4. Department of Business Administration, Caritas Institute of Higher Education, 18 Chui Ling Road, Tseung Kwan O, Hong Kong, China

    Fu Lee Wang

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Liu, Xn., Qian, Hb. (2011). Software Dependability Metrics and Analysis Based on AADL Error Model. In: Deng, H., Miao, D., Lei, J., Wang, F.L. (eds) Artificial Intelligence and Computational Intelligence. AICI 2011. Lecture Notes in Computer Science(), vol 7004. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23896-3_28

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-23896-3_28

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-23895-6

  • Online ISBN: 978-3-642-23896-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation