A UML profile for dependability analysis of real-time embedded systems

ABSTRACT

In this paper, we aim at giving a contribution toward the definition of a UML profile supporting the dependability analysis of real-time and embedded systems (RTES) that conforms to the upcoming profile named "Modeling and Analysis of Real-Time and Embedded Systems" (MARTE), for which a Request For Proposal has been issued by the Object Management Group (OMG).A set of basic dependability and fault-tolerance concepts need to be included in the profile to support the dependability analysis of RTES. We have exploited the best practices, proposed in the literature, on extending UML with dependability modeling capabilities in order to draw up a check list of requirements to be used as guideline for the definition of a dependability analysis profile. The proposed profile is then applied to the UML design of a case study: a gas turbine control system.

REFERENCES

• 1: N. Addouche, C. Antoine, and J. Montmain. UML models for dependability analysis of real-time systems. In In Proc. International Conference on Systems, Man and Cybernetics, volume 6, pages 5209--5214. IEEE CS., Oct. 2004.
• 2: Algirdas Avizienis , Jean-Claude Laprie , Brian Randell , Carl Landwehr, Basic Concepts and Taxonomy of Dependable and Secure Computing, IEEE Transactions on Dependable and Secure Computing, v.1 n.1, p.11-33, January 2004 [doi>10.1109/TDSC.2004.2]
• 3: S. Bernardi, S. Donatelli, and G. Dondossola. A class diagram framework for collecting dependability requirements in automation systems. In In Proc. of the 1st International Symposium on Leveraging Applications of Formal Methods (ISOLA'04), Paphos, Cyprus, 2004.
• 4: Simona Bernardi , Jose Merseguer, QoS Assessment via Stochastic Analysis, IEEE Internet Computing, v.10 n.3, p.32-42, May 2006 [doi>10.1109/MIC.2006.63]
• 5: S. Bernardi and D. Petriu. Comparing two UML Profiles for non-functional requirement annotations: the SPT and QoS Profiles. SVERTS - Satellite Events at the UML Conference, Lisbon (Portugal) - 2004.
• 6: A. Bobbio, E. Ciancamerla, G. Franceschinis, R. Gaeta, M. Minichino, and L. Portinale. Sequential application of heterogeneous models for the safety analysis of a control system: a case study. Reliability Enginering and System Safety, 81:269--280, 2003.
• 7: Andrea Bondavalli , Ivan Mura , Istvan Majzik, Automatic Dependability Analysis for Supporting Design Decisions in UML, The 4th IEEE International Symposium on High-Assurance Systems Engineering, p.64, November 17-19, 1999
• 8: International Electrotechnical Commission. IEC-60300-3-1 standard: Dependability management.
• 9: International Electrotechnical Commission. IEC-61508 standard: Functional Safety of Electrical/Electronic/Programmable Electronic safety related problems.
• 10: Vittorio Cortellessa , Antonio Pompei, Towards a UML profile for QoS: a contribution in the reliability domain, Proceedings of the 4th international workshop on Software and performance, January 14-16, 2004, Redwood Shores, California
• 11: Vittorio Cortellessa , Harshinder Singh , Bojan Cukic, Early reliability assessment of UML based software models, Proceedings of the 3rd international workshop on Software and performance, July 24-26, 2002, Rome, Italy [doi>10.1145/584369.584415]
• 12: M. Dal Cin. Extending UML towards a Useful OO-Language for Modeling Dependability Features. University of Erlangen-Nürnberg,, Informatik 3, Germany, 2003.
• 13: A. D'Ambrogio, G. Iazeolla, and R. Mirandola. A method for the prediction of software reliability. In Proc. of the 6-th IASTED Software Engineering and Applications Conference (SEA2002), Cambridge, MA, USA, November 2002.
• 14: H. Espinoza, H. Dubois, S. Gérard, J. Medina, D. C. Petriu, and M. Woodside. Annotating UML models with non-functional properties for quantitative analysis. In Proceedings of Models, volume 3844 of LNCS. Springer-Verlag, 2005.
• 15: Vincenzo Grassi , Raffaela Mirandola , Antonino Sabetta, From design to analysis models: a kernel language for performance and reliability analysis of component-based systems, Proceedings of the 5th international workshop on Software and performance, p.25-36, July 12-14, 2005, Palma, Illes Balears, Spain [doi>10.1145/1071021.1071024]
• 16: J. Jürjens and S. Wagner. Component-based Development of Dependable Systems with UML. In Atkinson et al., editor, Component-Based Software Development, volume 3778 of LNCS, pages 320--344. Springer-Verlag, 2005.
• 17: Jan Jürjens. Developing safety-critical systems with UML. In UML 2003, San Francisco, volume 2863 of LNCS, pages 360--372. Springer-Verlag, October 2003.
• 18: I. Majzik, A. Pataricza, and A. Bondavalli. Stochastic Dependability Analysis of System Architecture Based on UML Models. In R. De Lemos, C. Gacek, and A. Romanovsky, editors, Architecting Dependable Systems, LNCS 2677, Lecture Notes in Computer Science, pages 219--244. Springer-Verlag, Berlin, Heidelberg, New York, 2003.
• 19: Object Management Group. UML Profile for Schedulabibity, Performance and Time Specification, January 2005. Version 1.1, formal/05-01-02.
• 20: Object Management Group. Unified Modeling Language: Superstructure, July 2005. Version 2.0, formal/05-07-04.
• 21: Object Management Group. UML Profile for Modeling Quality of Service and Fault Tolerant Characteristics and Mechanisms, May 2006. Version 1.0, formal/06-05-02.
• 22: A. Pataricza. From the General Resource Model to a General Fault Modelling Paradigm? Workshop on Critical Systems, held within UML'2000, 2000.
• 23: David Powell , Eliane Martins , Jean Arlat , Yves Crouzet, Estimators for Fault Tolerance Coverage Evaluation, IEEE Transactions on Computers, v.44 n.2, p.261-274, February 1995 [doi>10.1109/12.364537]
• 24: Robin A. Sahner , Kishor S. Trivedi , Antonio Puliafito, Performance and reliability analysis of computer systems: an example-based approach using the SHARPE software package, Kluwer Academic Publishers, Norwell, MA, 1996

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.1 Requirements/Specifications

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.8 Metrics

Keywords:
UML profiles, dependability, real-time embedded systems