Abstract
Dependability is a non-functional property that should be assessed early in the software lifecycle. Although several UML profiles exist for quantitative annotations of non-functional properties, none of them provides concrete capabilities for dependability analysis of UML system models. In this paper, we propose a dependability analysis and modeling profile. The objective is twofold: to reuse proposals from the literature on deriving dependability models from UML annotated specifications and to be compliant with the recently adopted MARTE profile, which provides a framework for general quantitative analysis concepts that can be specialized to a particular analysis domain. The profile definition process was done in several steps. Firstly, an in depth analysis of the literature has been carried out to collect the information requirements for the profile. Secondly, a domain model for dependability analysis was defined independently of UML. Thirdly, the domain model was mapped to UML extensions by specializing MARTE.
This work has been supported by the European IST project CRUTIAL-027513 (CRitical UTility InfrastructurAL resilience), the project DPI2006-15390 of the Spanish ministry of Science and Technology, and the Discovery grant from the Natural Sciences and Engineering Research Council of Canada (NSERC).
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
- Dependability Analysis
- Object Management Group
- Faulty Component
- Dependability Type
- Dependability Analysis Modeling
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Avizienis, A., et al.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. on Dependable and Secure Computing 1(1), 11–33 (2004)
Object Management Group: UML Profile for Schedulability, Performance and Time Specification. (January 2005) V1.1, f/05-01-02
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
Object Management Group: UML Profile for Modeling Quality of Service and Fault Tolerant Characteristics and Mechanisms. (April 2008) V1.1, f/08-04-05
Bernardi, S., Merseguer, J.: A UML profile for dependability analysis of real-time embedded systems. In: Proc. of WOSP, February 2007, pp. 115–124. ACM, New York (2007)
Selic, B.: A systematic approach to domain-specific language design using UML. In: 10th IEEE Int.l Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC 2007), pp. 2–9 (2007)
Lagarde, F., et al.: Improving UML profile design practices by leveraging conceptual domain models. In: 22nd Int.l Conf. on Automated Software Engineering, Atlanta (USA), November 2007, pp. 445–448. ACM, New York (2007)
Leveson, N.: Safeware. Addison-Wesley, Reading (1995)
Lyu, M.R. (ed.): Handbook of Software Reliability Engineering. IEEE Computer Society Press, Los Alamitos (1996)
Lyu, M.: Software Fault Tolerance. John Wiley & Sons, Ltd., Chichester (1995)
Commission, I.E.: IEC-60300-3-1 standard: Dependability management
Commission, I.E.: IEC-61508 standard: Functional Safety of Electrical/ Electronic/ Programmable Electronic safety related problems
Bernardi, S., Merseguer, J., Petriu, D.: An 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
Pataricza, A.: From the General Resource Model to a General Fault Modelling Paradigm? In: Workshop on Critical Systems, held within UML 2000 (2000)
Addouche, N., Antoine, C., Montmain, J.: UML models for dependability analysis of real-time systems. In: Proc. International Conference on Systems, Man and Cybernetics, October 2004, vol. 6, pp. 5209–5214. IEEE Computer Society, Los Alamitos (2004)
Bernardi, S., Donatelli, S., Dondossola, G.: A class diagram framework for collecting dependability requirements in automation systems. In: Proc. of 1st Int.l Symposium on Leveraging Applications of Formal Methods, Cyprus (October 2004)
Bernardi, S., Merseguer, J.: QoS Assessment via Stochastic Analysis. IEEE Internet Computing, 32–42 (May-June 2006)
Majzik, I., Pataricza, A., Bondavalli, A.: Stochastic Dependability Analysis of System Architecture Based on UML Models. In: Architecting Dependable Systems. LNCS, vol. 2677, pp. 219–244. Springer, Heidelberg (2003)
Dal Cin, M.: Extending UML towards a Useful OO-Language for Modeling Dependability Features. In: Proc. of 9th Int.l Workshop on Object-Oriented Real-Time Dependable Systems, Capri Island, Italy, October 2003, pp. 325–330. IEEE Computer Society, Los Alamitos (2003)
Pai, G., Dugan, J.: Automatic Synthesis of Dynamic Fault Trees from UML system models. In: Proc. of 13th Int. Symposium on Software Reliability Engineering, Annapolis, MD, USA, November 2002, pp. 243–256. IEEE Computer Society, Los Alamitos (2002)
D’Ambrogio, A., Iazeolla, G., Mirandola, R.: A method for the prediction of software reliability. In: Proc. of the 6-th IASTED Software Engineering and Applications Conference (SEA 2002), Cambridge, MA, USA (November 2002)
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 2004), pp. 197–206 (January 2004)
Grassi, V., Mirandola, R., Sabetta, A.: Filling the gap between design and performance/reliability models of component-based systems: A model-driven approach. Journal of Systems and Software 80(4), 528–558 (2007)
Jürjens, J.: Developing safety-critical systems with UML. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 360–372. Springer, Heidelberg (2003)
Jürjens, J., Wagner, S.: Component-based Development of Dependable Systems with UML. In: Atkinson, C., Bunse, C., Gross, H.-G., Peper, C. (eds.) Component-Based Software Development for Embedded Systems. LNCS, vol. 3778, pp. 320–344. Springer, Heidelberg (2005)
Pataricza, A., et al.: UML-based design and formal analysis of a safety-critical railway control software module. In: Tarnai, G., Schnieder, E. (eds.) Proc. of FORMS 2003, Budapest (Hungary), pp. 125–132 (May 2003)
Goseva-Popstojanova, K., et al.: Architectural-level risk analysis using UML. IEEE Transactions on Software Engineering 29(10), 946–960 (2003)
Hassan, A., Goseva-Popstojanova, K., Ammar, H.: UML Based Severity Analysis Methodology. In: Proc. of Annual Reliability and Maintainability Symposium (RAMS 2005), Alexandria, VA (January 2005)
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, Los Alamitos (2001)
Zoughbi, G., Briand, L., Labiche, Y.: A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 574–588. Springer, Heidelberg (2007)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bernardi, S., Merseguer, J., Petriu, D.C. (2008). Adding Dependability Analysis Capabilities to the MARTE Profile. In: Czarnecki, K., Ober, I., Bruel, JM., Uhl, A., Völter, M. (eds) Model Driven Engineering Languages and Systems. MODELS 2008. Lecture Notes in Computer Science, vol 5301. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87875-9_51
Download citation
DOI: https://doi.org/10.1007/978-3-540-87875-9_51
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-87874-2
Online ISBN: 978-3-540-87875-9
eBook Packages: Computer ScienceComputer Science (R0)