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

Proceedings of the 6th International Workshop on Software and Performance, WOPS'07

Volumn , Issue , 2007, Pages 115-124

  Bernardi, Simona ^a   Merseguer, José ^b  

^a UNIVERSITY OF TURIN   (Italy)

^b UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

Dependability; Real time embedded systems; UML profiles

Indexed keywords

EMBEDDED SYSTEMS; INFORMATION MANAGEMENT; MODEL CHECKING; REAL TIME SYSTEMS; SOFTWARE DESIGN; USER INTERFACES;

DEPENDABILITY ANALYSIS; OBJECT MANAGEMENT GROUP (OMG); REAL-TIME AND EMBEDDED SYSTEMS (RTES); UML PROFILES;

UNIFIED MODELING LANGUAGE;

EID: 34748887755     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1216993.1217012     Document Type: Conference Paper

References (24)

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. A. Avizienis, J.C. Laprie, B. Randell, and C. Landwehr. Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Transactions on dependable and secure computing, 1(1):11-33, January-March 2004.
3. st International Symposium on Leveraging Applications of Formal Methods (ISOLA'04), Paphos, Cyprus, 2004.
4. S. Bernardi and J. Merseguer. QoS Assessment via Stochastic Analysis. IEEE Internet Computing, pages 32-42, May-June 2006.
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. A. Bondavalli, I. Majzik, and I. Mura. Automatic Dependability Analysis for supporting design decisions in UML. In A. Williams, editor, in Proc. of Fourth IEEE International High Assurance System Engineering Symposium (HASE'99). IEEE Computer Society Press, 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. V. Cortellessa and A. Pompei. 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), pages 197-206, January 2004.
11. V. Cortellessa, H. Singh, and B. Cukic. Early reliability assessment of UML based software models. In In Proceedings of Third International Workshop on Software and Performance, pages 302-309, Rome, Italy, July 2002.
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. V. Grassi, R. Mirandola, and A. Sabetta. 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), pages 25-36, July 2005.
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 UMU 2000, 2000.
23. D. Powell, E. Martins, J. Arlat, and Y. Crouzet. Estimators for Fault Tolerance Coverage Evaluation. Transaction on Computers, 44(2), February 1995.
24. R.A. Sahner, K.S. Trivedi, and A. Puliafito. Performance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the SHARPE Software Package. Kluwer Academic Publishers, 1996.