Mathematics – Logic
Scientific paper
Jul 2002
adsabs.harvard.edu/cgi-bin/nph-data_query?bibcode=2002esasp.509e..33d&link_type=abstract
In: Proceedings of DASIA 2002, 13 - 16 May 2002, Dublin, Ireland. Ed.: R. A. Harris. ESA SP-509, Noordwijk, Netherlands: ESA Pub
Mathematics
Logic
Space Research: Computing, Software
Scientific paper
The Hard Real-Time-Unified Modelling Language (HRT-UML) method aims at providing a comprehensive solution to the modeling of Hard Real Time systems. The experience shows that the design of Hard Real-Time systems needs methodologies suitable for the modeling and analysis of aspects related to time, schedulability and performance. In the context of the European Aerospace community a reference method for design is Hierarchical Object Oriented Design (HOOD) and in particular its extension for the modeling of hard real time systems, Hard Real-Time-Hierarchical Object Oriented Design (HRT-HOOD), recommended by the European Space Agency (ESA) for the development of on-board systems. On the other hand in recent years the Unified Modelling Language (UML) has been gaining a very large acceptance in a wide range of domains, all over the world, becoming a de-facto international standard. Tool vendors are very active in this potentially big market. In the Aerospace domain the common opinion is that UML, as a general notation, is not suitable for Hard Real Time systems, even if its importance is recognized as a standard and as a technological trend in the near future. These considerations suggest the possibility of replacing the HRT-HOOD method with a customized version of UML, that incorporates the advantages of both standards and complements the weak points. This approach has the clear advantage of making HRT-HOOD converge on a more powerful and expressive modeling notation. The paper identifies a mapping of the HRT-HOOD semantics into the UML one, and proposes a UML extension profile, that we call HRT-UML, based on the UML standard extension mechanisms, to fully represent HRT-HOOD design concepts. Finally it discusses the relationships between our profile and the UML profile for schedulability, performance and time, adopted by OMG in November 2001.
D'Alessandro Massimo
di Natale Marco
Lipari Giuseppe
Mazzini Silvia
No associations
LandOfFree
HRT-UML: a design method for hard real-time systems based on the UML notation does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with HRT-UML: a design method for hard real-time systems based on the UML notation, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and HRT-UML: a design method for hard real-time systems based on the UML notation will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-733015