Extending UML towards a useful OO-language for modeling dependability features

Proceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS

Volumn , Issue , 2003, Pages 325-330

  Cin, M Dal ^a  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT-TOLERANT REAL-TIME SYSTEMS; FAULT-TOLERANT SYSTEMS; UML PROFILES;

REAL TIME SYSTEMS;

EID: 83755201355     PISSN: 15301443     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WORDS.2003.1267547     Document Type: Conference Paper

References (19)

1. A. Bondavalli, M. Dal Cin, D. Latella and A. Pataricza, High-level Integrated Design Environment for Dependability (HIDE), Proc. Fifth International Workshop on Object-Oriented Dependable Systems (WORDS 1999 Fall), Monterey, pp. 87-92, 1999.
2. A. Bondavalli, I. Majzik and I. Mura, Automatic Dependability Analysis for Supporting Design Decisions in UML, Proc. Fourth IEEE International High-Assurance Engineering Symposium, Washington DC, pp. 64-71, 1999, and Majzik,
3. A. Pataricza, A. Bondavalli: Stochastic Dependability Analysis of System Architecture based on UML Models, in Architecting Dependable Systems (eds. R. de Lemos, C. Gacek and A. Romanovsky, Springer LNCS-2677, pp. 219-244. 2003.
4. OMG Unified Modeling Language Specification; Technical Report 1. 4, Object Management Group. 2001
5. UML Profile for Schedulability, Performance and Time, OMG Object Management Group, 2001
6. B. P. Douglas, Doing Hard Time, Addison-Wessley, 1999
7. M. Sand, Modeling Dependable Systems with Patterns, EDCC4, Toulouse, 2002, and Technical Report Informatik 3, University of Erlangen-Niimberg, 2002
8. G. Huszerl and K. Kosmidis, Object Oriented Notation for Modeling Quantitative Aspects, Proc. of Int. Conf. On Architecture of Computing Systems ARCS 2002, pp 91-100, 2002
9. S. Forlund and J. Koistinen, Quality of Service Specification in Distributed Object Systems, Proc. of 5th USENIX Conf. On Object-Oriented Technology and Systems, pp. 69-89, 1999
10. G. Huszerl, I. Majzik, A. Pataricza, K. Kosmidis and M. Dal Cin, Quantitative Analysis of UML Statecharts Models of Dependable Systems, The Computer Journal Vol. 45, pp. 220-277, 2002
11. M. Dal Cin, Structured Language for Specifications of Quantitative Requirements, Proc. Fifth IEEE International High-Assurance Engineering Symposium, Albuquerque, pp. 221-227, 2000
12. S. Allmaier and D. Kreische, PANDA Petri Net Analysis and Design Assistant User's Guide, technical report 1/2000 Informatik 3 University of Erlangen, 2000.
13. S. Allmaier and D. Kreische, Parallel approaches to the numerical transient analysis of stochastic solution of GSPNs on a shared memory multiprocessor, Proc. IEEE Int. Workshop on Petri Nets and Performance Models (PNPM'97), 1997.
14. S. Allmaier and S. Dalibor (1997): PANDA-Petri net ANalysis and Design Assistant, Tools Descriptions, 9th Int. Conf. on Modeling Techniques and Tools for Computer Performance Evaluation, St. Malo, 1999
15. A. Pataricza: From the General Resource Model to a General Fault Modeling Paradigm? Workshop on Critical Systems Development with UML at UML 2002, Dresden, Germany., 2002
16. C. D. Gill: RT-POD: a framework for Real-Time systems Participation in Own Defense, this volume (WORDS 2003 Fall), Anacapri, Italy, 2003
17. J. Park, S. Kim, S Hong: Weaving Aspects into Real-Time Operating System Design using Object-Oriented Model Transformation, this volume (WORDS 2003 Fall), Anacapri, Italy, 2003
18. J. Matthes, H. Keller, W-D Hecker M. Kersten, and C. Fouda: Zuverlassige Software durch den Einsatz von UML, MDA und der Programmiersprache ADA, Proceedings Informatik 2003 mit Sicherheit Informatik, GI Lecture Notes in Informatics, pp. 167-178, Franfurt am Main, Germany, 2003
19. M. Dal Cin, G. Huszerl, and K. Kosmidis: Transformation of Guarded Statecharts for Quantitative Evaluation of Dependable Embedded Systems, Proceedings 10,h European Workshop on Dependable Computing (EWDC-10), pp-143-148, 1999