This Article Full Text (PDF) All Versions of this Article: 0037549709102850v1 85/11-12/709    most recent References Alert me when this article is cited Alert me if a correction is posted Services Email this article to a friend Similar articles in this journal Alert me to new issues of the journal Add to Saved Citations Download to citation manager Request Permissions Request Reprints Add to My Marked Citations Citing Articles Citing Articles via Scopus Google Scholar Articles by Florescu, O. Articles by Corporaal, H. Social Bookmarking                         What's this?

Patterns for Automatic Generation of Soft Real-time System Models

Eindhoven University of Technology, Embedded Systems Institute PO Box 513, 5600 MB, Eindhoven, The Netherlands

Jeroen Voeten

Eindhoven University of Technology, Embedded Systems Institute PO Box 513, 5600 MB, Eindhoven, The Netherlands, j.p.m.voeten{at}tue.nl

Bart Theelen

Eindhoven University of Technology, Embedded Systems Institute PO Box 513, 5600 MB, Eindhoven, The Netherlands

Henk Corporaal

Eindhoven University of Technology, Embedded Systems Institute PO Box 513, 5600 MB, Eindhoven, The Netherlands

Worst-case assumptions about the timing of systems are often too conservative when analyzing distributed soft real-time systems as they lead to over-dimensioned and expensive products. For these systems, a certain percentage of deadline misses is often affordable. Instead of a binary answer regarding the schedulability of such a system, a more interesting metric is the degree to which the system meets the timing requirements. For this, an appropriate model that realistically expresses the behavior of a soft real-time system when deployed on a multiprocessor platform should be built and analyzed. In this article, we present such a modeling approach based on the formal modeling language POOSL (parallel object-oriented specification language). Moreover, to alleviate the process of modeling, we present a pattern-based description language that allows an application, together with the multiprocessor platform and the deployment to be described in a concise way. Such a pattern-based description can be translated automatically into an executable POOSL model through which performance properties can be analyzed based on simulations. The suitability of our approach is demonstrated by exploring the design space of a distributed in-car radio navigation system.

Key Words: Modeling patterns • pattern-based system description • soft real-time systems • stochastic model

This version was published on November 1, 2009

SIMULATION, Vol. 85, No. 11-12, 709-734 (2009)
DOI: 10.1177/0037549709102850


CiteULike    Complore    Connotea    Del.icio.us    Digg    Reddit    Technorati    Twitter    What's this?