Issues in mapping HRT-HOOD to UML

Mazzini, Silvia; D'Alessandro, M.; Natale, Marco Di; Lipari, Giuseppe; Vardanega, Tullio

doi:10.1109/emrts.2003.1212747

Cited by 7 publications

(4 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Instead, they can be viewed as direct corollaries of it in any supporting design methodology (e.g. : HRT-HOOD [2] and derivatives [6,7]) which aims to warrant verifiability by construction, without requiring the use of exceedingly complex analysis techniques. Hence, the two additional restrictions arguably belong in the Ravenscar application domain.…”

Section: Problem Outlinementioning

confidence: 99%

Ravenscar design patterns?

Vardanega¹

2003

Proceedings of the 12th International Workshop on Real-Time Ada - IRTAW '03

View full text Add to dashboard Cite

show abstract

Section: Problem Outlinementioning

confidence: 99%

Ravenscar design patterns?

Vardanega¹

2003

Proceedings of the 12th International Workshop on Real-Time Ada - IRTAW '03

View full text Add to dashboard Cite

show abstract

“…Many design methodologies for real-time systems have been proposed in the literature. One of the most popular is HRT-HOOD [3], which has been recently extended to UML [9]. A system is specified as a set of active, protected or pas-sive objects, and it can be analyzed with classical fixed priority schedulability analysis.…”

Section: Introductionmentioning

confidence: 99%

A hierarchical scheduling model for component-based real-time systems

Lorente¹,

Lipari²,

Bini³

2006

Proceedings 20th IEEE International Parallel &Amp; Distributed Processing Symposium

Self Cite

View full text Add to dashboard Cite

In this paper, we propose a methodology for developing component-based real-time systems based on the concept of hierarchical scheduling. Recently, much work has been devoted to the schedulability analysis of hierarchical scheduling systems, in which real-time tasks are grouped into components, and it is possible to specify a different scheduling policy for each component. Until now, only independent components have been considered. In this paper, we extend this model to tasks that interact through remote procedure calls. We introduce the concept of abstract computing platform on which each component is executed. Then, we transform the system specification into a set of real-time transactions and present a schedulability analysis algorithm. Our analysis is a generalization of the holistic analysis to the case of abstract computing platforms. We demonstrate the use of our methodology on a simple example.

show abstract

“…In fact, use experience has shown that reallife design does not rigidly follow the top-down approach entailed by hierarchical decomposition, but it has very distinct bottom-up connotations, whereby objects are also aggregated a posteriori. This notion, which HRT-UML promotes [13], suggests that the HRT type of a parent object is determined by (as opposed to determines) the HRT type of its child objects. Any aggregate of HRT-UML objects may be defined at design time as a single-parent by promoting (segments of) the provided interface of its internal objects to the parent interface.…”

Section: Hrt-uml and The Ravenscar Profilementioning

confidence: 99%

“…HRT-UML [13,21] is the result of a project that is to transpose, by a thorough balance of preservation and extension, the HRT-HOOD design method [6] on the UML meta-model [15,14]. A prototype tool-set currently exists, which we have equipped with the proposed code generation engine.…”

Section: Introductionmentioning

confidence: 99%