Skip to main content
SpringerLink
Log in
Book cover

International SDL Forum

SDL 2013: SDL 2013: Model-Driven Dependability Engineering pp 124–143Cite as

Modeling Component Erroneous Behavior and Error Propagation for Dependability Analysis

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNCCN,volume 7916))

Abstract

Modeling erroneous behavior of software components along with normal behavior tends to be complex and hard to read or modify. However, ignoring the erroneous behavior and error propagation in models used for dependability analysis has a negative impact on the dependability assessment accuracy. In this paper, we propose a framework for automating dependability modeling and analysis that considers component erroneous behavior. Particularly, the paper focuses on our Component Erroneous Behavior Aspect Modeling approach (CeBAM), which captures component erroneous behavior and error propagation. We apply aspect-oriented modeling techniques to model erroneous behaviors separately from the normal behavior. The approach reduces the model complexity and improves its readability and modifiability. In addition, we propose a profile to extend the UML protocol state machine to capture both incoming and outgoing messages on components’ ports. We automate the composition of normal and erroneous behavior by aspect weaving. This enables the next step: conformance verification between each component’s complete internal behavior and its protocol state machines, as well as between component interfaces.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bernardi, S., Merseguer, J., Petriu, D.C.: Dependability modeling and analysis of software systems specified with UML. ACM Computing Surveys (CSUR) 45(1), Art. 2 (2012)

    Google Scholar 

  2. Immonen, A., Niemelä, E.: Survey of reliability and availability prediction methods from the viewpoint of software architecture. Software & System Modeling 7(1), 49–65 (2008)

    Article  Google Scholar 

  3. Aysan, H., Punnekkat, S., Dobrin, R.: Error Modeling in Dependable Component-Based Systems. In: Proceedings of the 2008 32nd Annual IEEE International Computer Software and Applications Conference (COMSAC 2008), pp.1309–1314. IEEE Computer Society (2008)

    Google Scholar 

  4. Popic, P., Desovski, D., Abdelmoez, W., Cukic, B.: Error propagation in the reliability analysis of component based systems. In: Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering (ISSRE 2005), pp. 53–62. IEEE Computer Society (2005)

    Google Scholar 

  5. Cortellessa, V., Grassi, V.: A Modeling Approach to Analyze the Impact of Error Propagation on Reliability of Component-Based Systems. In: Schmidt, H.W., Crnković, I., Heineman, G.T., Stafford, J.A. (eds.) CBSE 2007. LNCS, vol. 4608, pp. 140–156. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  6. Yedduladoddi, R.: Aspect oriented software development: an approach to composing UML design models. VDM Publishing (2009)

    Google Scholar 

  7. Bernardi, S., Merseguer, J., Petriu, D.C.: A dependability profile within MARTE. Software & Systems Modeling 10(3), 313–336 (2011)

    Article  Google Scholar 

  8. Mencl, V.: Specifying component behavior with port state machines. Electronic Notes in Theoretical Computer Science 101, 129–153 (2004)

    Article  Google Scholar 

  9. Moffett, Y., Beaulieu, A., Dingel, J.: Verifying UML-RT protocol conformance using model checking. In: Whittle, J., Clark, T., Kühne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 410–424. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  10. Craig, D.C., et al.: Compatibility of Software Components - Modeling and Verification. In: Proceedings of the International Conference on Dependability of Computer Systems (DEPCOS-RELCOMEX 2006), pp. 11–18. IEEE Computer Society (2006)

    Google Scholar 

  11. Montecchi, L., Lollini, P., Bondavalli, A.: Dependability Concerns in Model-Driven Engineering. In: Proceedings of the 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW 2011), pp. 254–263. IEEE Computer Society (2011)

    Google Scholar 

  12. Muppala, J., Ciardo, G., Trivedi, K.S.: Stochastic reward nets for reliability prediction. Communications in Reliability, Maintainability and Serviceability, 9–20 (1994)

    Google Scholar 

  13. Brosch, F., Buhnova, B., Koziolek, H., Reussner, R.: Reliability prediction for fault-tolerant software architectures. In: Proceedings of the Joint ACM SIGSOFT Conference – QoSA and ACM SIGSOFT Symposium – ISARCS on Quality of Software Architectures – QoSA and Architecting Critical Systems (QoSA–ISARCS 2011), pp. 75–84. ACM (2011)

    Google Scholar 

  14. Object Management Group: Query View Transformation (QVT) v1.1 formal/2011-01-01, http://www.omg.org/spec/QVT/

  15. Gomaa, H.: Software Modeling and Design. Cambridge University Press (2011)

    Google Scholar 

  16. Avizienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing 1(1), 11–33 (2004)

    Article  Google Scholar 

  17. Object Management Group: Unified Modeling Language (UML) - Superstructure v.2.4.1 formal/2011-08-06, http://www.omg.org/spec/UML/2.4.1/

  18. Selic, B.: A systematic approach to domain-specific language design using UML. In: Proceedings of the 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC 2007), pp. 2–9. IEEE Computer Society (2007)

    Google Scholar 

  19. Ali, S., Briand, L.C., Hemmati, H.: Modeling robustness behavior using aspect-oriented modeling to support robustness testing of industrial systems. Software & Systems Modeling 11(4), 633–670 (2012)

    Article  Google Scholar 

  20. Goseva-Popstojanova, K., Trivedi, K.S.: Architecture-based approach to reliability assessment of software systems. Performance Evaluation 45(2-3), 179–204 (2001)

    Article  MATH  Google Scholar 

  21. Abdelmoez, W., et al.: Error propagation in software architectures. In: Proceedings of the Software Metrics 10th International Symposium (METRICS 2004), pp. 384–393. IEEE Computer Society (2004)

    Google Scholar 

  22. Reussner, R.H., Schmidt, H.W., Poernomo, I.H.: Reliability prediction for component-based software architectures. Journal of Systems and Software 66(3), 241–252 (2003)

    Article  Google Scholar 

  23. Cheung, L., Roshandel, R., Medvidovic, N., Golubchik, L.: Early prediction of software component reliability. In: Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), pp. 111–120. ACM (2008)

    Google Scholar 

  24. Såtten, V., Kraemer, F.A., Herrmann, P.: Towards automatic generation of formal specifications to validate and verify reliable distributed systems – A method exemplified by an industrial case study. ACM SIGPLAN Notices - GCPE 2011 47(3), 147–156 (2012)

    Google Scholar 

  25. Eckardt, T., Henkler, S.: Synthesis of Component Behavior. In: Proceedings of the 7th International Fujaba Days, Eindhoven University of Technology, The Netherlands, pp. 40–44 (2009)

    Google Scholar 

  26. FUJABA Tool Suite, http://www.fujaba.de

  27. Cottenier, T., Van Den Berg, A., Elrad, T.: Motorola WEAVR: Aspect orientation and model-driven engineering. Journal of Object Technology, 51–88 (2007)

    Google Scholar 

  28. Inverardi, P., et al.: CHARMY – An extensible tool for architectural analysis. In: Proceedings of the 10th European Software Engineering Conference Held Jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE-13), pp. 111–114. ACM (2005)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Systems and Computer Engineering, Carleton University, Ottawa, Ontario, Canada, K1S 5B6

    Naif A. Mokhayesh Alzahrani & Dorina C. Petriu

Authors
  1. Naif A. Mokhayesh Alzahrani
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dorina C. Petriu
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Electrical and Computer Engineering, Concordia University, Montréal, Canada

    Ferhat Khendek

  2. Ericsson Inc., Montréal, Canada

    Maria Toeroe

  3. Departement de Génie Logiciel, École de Technologie Supérieure, Montreal, Canada

    Abdelouahed Gherbi

  4. Telecommunications Software Engineering, The Laurels, Victoria Road, LA23 2DL, Windermere, UK

    Rick Reed

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mokhayesh Alzahrani, N.A., Petriu, D.C. (2013). Modeling Component Erroneous Behavior and Error Propagation for Dependability Analysis. In: Khendek, F., Toeroe, M., Gherbi, A., Reed, R. (eds) SDL 2013: Model-Driven Dependability Engineering. SDL 2013. Lecture Notes in Computer Science, vol 7916. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38911-5_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-38911-5_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-38910-8

  • Online ISBN: 978-3-642-38911-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation