Skip to main content
SpringerLink
Log in

Quality Analysis of Dependable Systems: A Developer Oriented Approach

  • Conference paper
  • First Online:
Book cover Architecting Dependable Systems

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2677))

Abstract

The quality of dependable systems (DS) is characterized by a number of non-functional properties (e.g., performance, reliability, availability, etc.). Assessing the DS quality against these properties imposes the application of quality analysis and evaluation. Quality analysis consists of checking, analytically solving, or simulating models of the system, which are specified using formalisms like CSP, CCS, Markov-chains, Petri-nets, Queuing-nets, etc. However, developers are usually not keen on using such formalisms for modeling and evaluating DS quality. On the other hand, they are familiar with using architecture description languages and object-oriented notations for building DS models. Based on the previous and to render the use of traditional quality analysis techniques more tractable, this paper proposes an architecture-based environment that facilitates the specification and quality analysis of DS at the architectural level.

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. Allen, R., Garlan, D.: Formalizing architectural connection. In: Proceedings of the 16th ACM-SIGSOFT-IEEE International Conference on Software Engineering (ICSE’94). (1994) 71–80

    Google Scholar 

  2. Geist, R., Trivedi, K.: Reliability estimation of fault tolerant systems: Tools and techniques. IEEE Computer 23 (1990) 52–61

    Article  Google Scholar 

  3. Kobayashi, H.: Modeling and Analysis: An Introduction to System Performance Evaluation Methodology. Addison-Wesley (1978)

    Google Scholar 

  4. Magee, J., Kramer, J., Giannakopoulou, D.: Behavior analysis of software architectures. In: Proceedings of the 1st IFIP Working Conference on Software Architectures (WICSA-1). (1999) 35–49

    Chapter  Google Scholar 

  5. Garlan, D., Monroe, R., Wile, D.: ACME: An architectural description interchange language. In: Proceedings of CASCON’97. (1997)

    Google Scholar 

  6. Medvidovic, N., Taylor, R.: A classification and comparison framework for software architecture description languages. IEEE Transactions on Software Engineering 26 (2000) 70–93

    Article  Google Scholar 

  7. OMG: UML semantics 1.3 (1997)

    Google Scholar 

  8. Wile, D.: AML: An architecture meta-language. In: Proceedings of the 14th IEEE International Conference on Automated Software Engineering (ASE-99). (1999)

    Google Scholar 

  9. Dashofy, E., Van Der Hoek, A., Taylor, R.: An infrastructure for the rapid development of XML-based architecture description languages. In: Proceedings of the 24th International Conference on Software Engineering (ICSE 2002). (2002) 266–276

    Google Scholar 

  10. Garlan, D., Kompanec, J., Pinto, P.: Reconciling the needs of architectural description with object-modeling notations. In: Proceedings of the 3rd International Conference on the Unified Modeling Language (UML-2000). (2000)

    Chapter  Google Scholar 

  11. Medvidovic, N., Rosenblum, D.S., Robbins, J.E., Redmiles, D.F.: Modeling software architectures in the unified modeling language. ACM Transactions on Software Engineering and Methodology ((to appear))

    Google Scholar 

  12. Lilius, J., Paltor, I.P.: vUML: A tool for verifying UML models. In: Proceedings of the 14th IEEE International Conference on Automated Software Engineering (ASE’99). (1999) 255–258

    Google Scholar 

  13. Holzmann, G.J.: The SPIN model checker. IEEE Transactions on Software Engineering 23 (1997) 279–295

    Article  Google Scholar 

  14. Kaveh, N., Emmerich, W.: Deadlock detection in distributed object systems. In: Proceedings of the 8th European Software Engineering Conference (ESEC) / 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE). (2001)

    Google Scholar 

  15. Zarras, A., Kloukinas, C, Issarny, V., Nguyen, V.K.: An Architecture-based Environment for the Development of DSoS. In: IC2 Report: Initial Results on Architectures and Dependable Mechanisms for Dependable SoSs. (2001) Available at URL: http://www.newcastle.research.ec.org/dsos/deliverables.

  16. Klein, M., Kazman, R., Bass, L., Carriere, S.J., Barbacci, M., Lipson, H.: Attribute-based architectural styles. In: Proceedings of the 1st IFIP Working Conference on Software Architecture (WICSA-1). (1999) 225–243

    Chapter  Google Scholar 

  17. Kazman, R., Carriere, S.J., Woods, S.G.: Toward a discipline of scenario-based architectural engineering. Annals of Software Engineering 9 (2000) 5–33

    Article  Google Scholar 

  18. Zarras, A., Issarny, V.: Automating the performance and reliability analysis of enterprise information systems. In: Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001). (2000)

    Google Scholar 

  19. Laprie, J.C.: Dependable computing and fault tolerance: Concepts and terminology. In: Proceedings of the 15th International Symposium on Fault-Tolerant Computing (FTCS-15). (1985)

    Google Scholar 

  20. Laprie, J.C., Arlat, J., Beounes, C, Kanoun, K.: Definition and analysis of hardware and software fault-tolerant architectures. IEEE Computer 23 (1990) 39–51

    Article  Google Scholar 

  21. Butler, R.W.: The SURE approach to reliability analysis. IEEE Transactions on Reliability 41 (1992) 210–218

    Article  Google Scholar 

  22. Johnson, S.C.: Reliability analysis of large complex systems using ASSIST. In: Proceedings of the 8th AIAA/IEEE Digital Avionics Systems Conference. (1988) 227–234

    Google Scholar 

  23. Floyd, S., Paxson, V.: Difficulties in simulating the internet. ACM/IEEE Transactions on Networking (2001)

    Google Scholar 

  24. Chandra, B., Dahlin, M., Gao, L., Nayate, A.: End-to-end wan service availability. In: Proceedings of the 2nd USENIX Symposium on Internet Technologies and Systems. (2001) 97–108

    Google Scholar 

  25. Kaâniche, M., Kanoun, K., Martinello, M., Simache, C. In: CSDA3 Report: SoS Dependability Assessment: Modelling and Measurement. (2002) Available at URL: http://www.newcastle.research.ec.org/dsos/deliverables.

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, University of Ioannina, Greece

    Apostolos Zarras

  2. Centre Équation, VERIMAG, 2 avenue de Vignates, 38610, Gières, France

    Christos Kloukinas

  3. INRIA, Domaine de Voluceau, B.P. 105, 78 153, Le Chesnay Cédex, France

    Valérie Issarny

Authors
  1. Apostolos Zarras
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Christos Kloukinas
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Valérie Issarny
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Computing Laboratory, University of Kent, Canterbury, Kent, CT2 7NF, UK

    Rogério de Lemos

  2. School of Computing Science, University of Newcastle upon Tyne, Newcastle upon Type, NE1 7RU, UK

    Cristina Gacek  & Alexander Romanovsky  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Zarras, A., Kloukinas, C., Issarny, V. (2003). Quality Analysis of Dependable Systems: A Developer Oriented Approach. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds) Architecting Dependable Systems. Lecture Notes in Computer Science, vol 2677. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45177-3_9

Download citation

  • DOI: https://doi.org/10.1007/3-540-45177-3_9

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-40727-0

  • Online ISBN: 978-3-540-45177-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation