Modeling and analysis of time requirements based on the UML;Modellierung und Analyse von Zeitanforderungen Basierend auf der UML

INFORMATIK 2007 - Informatik Trifft Logistik, Beitrage der 37. Jahrestagung der Gesellschaft fur Informatik e.V. (GI)

Volumn 2, Issue , 2007, Pages 531-535

  Hagner, Matthias ^a   Huhn, Michaela ^a  

^a TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84877334097     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. Elena Fersman und Wang Yi. A generic approach to schedulability analysis of real-time tasks. Nordic Journal of Computing, 11(2):129-147, 2004.
2. Hans Hansson, Mikael Akerholm, Ivica Crnkovic und Martin Torngren. SaveCCM - A Component Model for Safety-Critical Real-Time Systems. In Proceedings of the 30th EUROMICRO Conference, Washington, DC, USA, 2004. IEEE Computer Society.
3. Matthias Hagner. Realisierung einer Modelltransformation zur Schedulability-Analyse von UML-Modellen mit dem TIMES-Tool. Studienarbeit TU Braunschweig, 2005.
4. Rafik Henia, Arne Hamann, Marek Jersak, Razvan Racu, Kai Richter und Rolf Ernst. System Level Performance Analysis - the SymTA/S Approach, 2005.
5. John Haakansson, Leonid Mokrushin, Paul Pettersson und Wang Yi. An Analysis Tool for UML Models with SPT Annotations. In SVERTS workshop of UML, 2004.
6. M. Hendriks und M. Verhoef. Timed Automata Based Analysis of Embedded System Architectures. In Workshop on Parallel and Distributed Real-Time Systems 2006, 2006.
7. OMG. UML Profile for Schedulability, Performance and Time, 2002.
8. OMG. Unified Modeling Language Specification, 2003.
9. OMG. A UML Profile for MARTE, 2007.
10. SAE. Architecture Analysis & Design Language (Aadl). 2004.