Skip to main content
SpringerLink
Log in

A dependability profile within MARTE

  • Theme Section
  • Published:
Software & Systems Modeling Aims and scope Submit manuscript

Abstract

The importance of assessing software non-functional properties (NFP) beside the functional ones is well accepted in the software engineering community. In particular, dependability is a NFP that should be assessed early in the software life-cycle by evaluating the system behaviour under different fault assumptions. Dependability-specific modeling and analysis techniques include for example Failure Mode and Effect Analysis for qualitative evaluation, stochastic Petri nets for quantitative evaluation, and fault trees for both forms of evaluation. Unified Modeling Language (UML) may be specialized for different domains by using the profile mechanism. For example, the MARTE profile extends UML with concepts for modeling and quantitative analysis of real-time and embedded systems (more specifically, for schedulability and performance analysis). This paper proposes to add to MARTE a profile for dependability analysis and modeling (DAM). A case study of an intrusion-tolerant message service will offer insight on how the MARTE-DAM profile can be used to derive a stochastic Petri net model for performance and dependability 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. Addouche, N., Antoine, C., Montmain, J.: UML models for dependability analysis of real-time systems. In: Proceedings of International Conference on Systems, Man and Cybernetics, vol. 6, pp. 5209–5214. IEEE CS. October (2004)

  2. Addouche, N., Antoine, C., Montmain, J.: Methodology for UML modeling and formal verification of real-time systems. In: International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), p. 17. IEEE Computer Society (2006)

  3. Ajmone Marsan M., Balbo G., Conte G., Donatelli S., Franceschinis G.: Modelling with Generalized Stochastic Petri Nets. Wiley, New York (1995)

    MATH  Google Scholar 

  4. Ajmone Marsan, M., Chiola, G.: On Petri nets with deterministic and exponentially distributed firing times. In: Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets, pp.132–145, London, UK. Springer-Verlag (1987)

  5. Allenby, K., Kelly, T.: Deriving safety requirements using scenarios. In: 5th IEEE International Symposium on Requirements Engineering (RE 2001), pp. 228–235. IEEE Computer Society (2001)

  6. ArgoSPE. http://argospe.tigris.org. University of Zaragoza (2006)

  7. Avizienis A. et al.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secure Comput. 1(1), 11–33 (2004)

    Article  Google Scholar 

  8. Bernardi, S., Donatelli, S., Dondossola, G.: Methodology for the generation of the modeling scenarios starting from the requisite specifications and its application to the collected requirements. IST Project 25434 DepAuDE—Deliverable D1.3b (2002)

  9. Bernardi, S., Donatelli, S., Dondossola, G.: A class diagram framework for collecting dependability requirements in automation systems. In: Proceedings of 1st International Symposium on Leveraging Applications of Formal Methods, Cyprus, October (2004)

  10. Bernardi S., Merseguer J.: QoS assessment via stochastic analysis. IEEE Internet Comput. 10, 32–42 (2006)

    Article  Google Scholar 

  11. Bernardi, S., Merseguer, J., Petriu, D.: A UML profile for dependability analysis and modeling of software systems. Technical Report RR-08-05, Universidad de Zaragoza, Spain (2008). http://www.di.unito.it/~bernardi/DAMreport08.pdf.

  12. Bernardi S., Merseguer J., Petriu D.C.: Adding dependability analysis capabilities to the MARTE Profile. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds) Proceedings of 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS), volume 5301 of Lecture Notes in Computer Sciences, Toulouse, France, pp. 736–750. Springer, New York (2008)

    Google Scholar 

  13. Bobbio A., Ciancamerla E., Franceschinis G., Gaeta R., Minichino M., Portinale L.: Sequential application of heterogeneous models for the safety analysis of a control system: a case study. Reliab. Eng. Syst. Saf. 81, 269–280 (2003)

    Article  Google Scholar 

  14. Bondavalli A. et al.: Dependability analysis in the early phases of UML-based system design. Int. J. Comput. Syst. Sci. Eng. 16(5), 265–275 (2001)

    Google Scholar 

  15. Cortellessa, V., Pompei, A.: Towards a UML profile for QoS: a contribution in the reliability domain. In: Proceedings of the Fourth International Workshop on Software and Performance (WOSP’04), pp. 197–206. January (2004)

  16. Dal Cin, M.: Extending UML towards a useful OO-Language for modeling dependability features. In: Proceedings of 9th International Workshop on Object-Oriented Real-Time Dependable Systems, pp. 325–330, Capri Island, Italy, October 2003. IEEE CS (2003)

  17. D’Ambrogio, A., Iazeolla, G., Mirandola, R.: A method for the prediction of software reliability. In: Proceedings of the 6th IASTED Software Engineering and Applications Conference (SEA2002), Cambridge, MA, USA. November (2002)

  18. Denning P.J., Buzen J.P.: The operational analysis of queueing network models. ACM Comput. Surv. 10(3), 225–261 (1978)

    Article  MATH  Google Scholar 

  19. Evans M., Hastings N., Peacock B.: Statistical Distributions. Wiley, New York (2000)

    MATH  Google Scholar 

  20. Goseva-Popstojanova K. et al.: Architectural-level risk analysis using UML. IEEE Trans. Softw. Eng. 29(10), 946–960 (2003)

    Article  Google Scholar 

  21. Grassi, V., Mirandola, R., Sabetta, A.: From design to analysis models: a kernel language for performance and reliability analysis of component-based systems. In: Proceedings of the Fifth International Workshop on Software and Performance (WOSP’05), pp. 25–36. July (2005)

  22. Grassi V., Mirandola R., Sabetta A.: Filling the gap between design and performance/reliability models of component-based systems: a model-driven approach. J. Syst. Softw. 80(4), 528–558 (2007)

    Article  Google Scholar 

  23. GreatSPN.: http://www.di.unito.it/~greatspn. University of Torino (2002)

  24. Hassan, A., Goseva-Popstojanova, K., Ammar, H.: UML based severity analysis methodology. In: Proceedings of Annual Reliability and Maintainability Symposium (RAMS 2005), Alexandria, VA. January (2005)

  25. International Electrotechnical Commission. IEC-60300-3-1 standard: Dependability management

  26. International Electrotechnical Commission. IEC-61508 standard: Functional Safety of Electrical/Electronic/Programmable Electronic safety related problems

  27. Jürjens J., Wagner S.: Component-based development of dependable systems with UML. In: Atkinson, et al. (eds) Component-Based Software Development, volume 3778 of LNCS, pp. 320–344. Springer-Verlag, New York (2005)

    Chapter  Google Scholar 

  28. Jürjens, J.: Developing safety-critical systems with UML. In: Proceedings of UML 2003, San Francisco, volume 2863 of LNCS, pp. 360–372. Springer-Verlag, New York. October (2003)

  29. Lagarde, F., et al.: Improving UML profile design practices by leveraging conceptual domain models. In: 22nd International Conference on Automated Software Engineering, Atlanta (USA), pp. 445–448. ACM, November (2007)

  30. Leveson N.G.: Safeware. Addison-Wesley, Reading (1995)

    Google Scholar 

  31. Lyu, M.R. (eds.): Handbook of Software Reliability Engineering. IEEE Computer Society Press (1996)

  32. Lyu M.R.: Software Fault Tolerance. Wiley, New York (1995)

    Google Scholar 

  33. MagicDraw. http://www.magicdraw.com/. No Magic, Inc. (2009)

  34. Majzik, I., Pataricza, A., Bondavalli, A.: Stochastic dependability analysis of system architecture based on UML models. In: Architecting Dependable Systems, LNCS 2677, pp. 219–244. Springer-Verlag, New York (2003)

  35. Merseguer, J., Bernardi, S., Campos, J., Donatelli, S.: A compositional semantics for UML State Machines aimed at performance evaluation. In: Silva, M., Giua, A., Colom, J.M. (eds.) WODES02: 6th International Workshop on Discrete Event Systems, pp. 295–302, Zaragoza, Spain, October 2002. IEEE Computer Society (2002)

  36. Mustafiz S., Sun X., Kienzle J., Vangheluwe H.: Model-driven assessment of system dependability. J. Softw. Syst. Model. 7(4), 487–502 (2008)

    Article  Google Scholar 

  37. Object Management Group.: UML Profile for Schedulability, Performance and Time Specification. January 2005. V1.1, f/05-01-02 (2005)

  38. Object Management Group.: A UML profile for Modeling and Analysis of Real Time Embedded Systems, Beta 1. August 2007. Adopted Spec., ptc/07-08-04 (2007)

  39. Object Management Group.: UML Profile for Modeling Quality of Service and Fault Tolerant Characteristics and Mechanisms, April 2008. V1.1, f/08-04-05 (2008)

  40. Pai, G.J., Dugan, J.B.: Automatic synthesis of dynamic fault trees from UML system models. In: Proceedings of 13th International Symposium on Software Reliability Engineering, pp. 243–256, Annapolis, MD, USA, November 2002. IEEE CS (2002)

  41. Pataricza, A.: From the general resource model to a general fault modelling paradigm? Workshop on Critical Systems, held within UML’2000 (2000)

  42. Pataricza, A., et al.: UML-based design and formal analysis of a safety-critical railway control software module. In: Tarnai, G., Schnieder, E. (eds.) Proceedings of FORMS’03, pp. 125–132, Budapest (Hungary). May (2003)

  43. Sahner, R.A., Trivedi, K.S., Puliafito, A.: Performance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the SHARPE Software Package. Kluwer Academic Publishers, Dordrecht (1996)

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

  45. Zoughbi, G., Briand, L., Labiche, Y.: A UML Profile for developing airworthiness-compliant (RTCA DO-178B), safety-critical software. In: Proceedings of Models 2007, volume 4735 of LNCS, pp. 574–588. Springer-Verlag, New York (2007)

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica, Università di Torino, Torino, Italy

    Simona Bernardi

  2. Departamento de Informática e Ingeniería de Sistemas, Universidad de Zaragoza, Zaragoza, Spain

    José Merseguer

  3. Department of Systems and Computer Engineering, Carleton University, Ottawa, ON, Canada

    Dorina C. Petriu

Authors
  1. Simona Bernardi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. José Merseguer
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Dorina C. Petriu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Simona Bernardi.

Additional information

Communicated by Marko Boškovic, Bernhard Schätz, Claus Pahl, and Dragan Gasevic.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bernardi, S., Merseguer, J. & Petriu, D.C. A dependability profile within MARTE. Softw Syst Model 10, 313–336 (2011). https://doi.org/10.1007/s10270-009-0128-1

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10270-009-0128-1

Keywords

Search

Navigation