Abstract
Based on design experience forreal-time systems, we introduce modelling patterns
to enable easy composition of models for design space exploration. Our proposed
approach does not require deep knowledge of the modelling language used for the
actual specification of the model and its related analysis techniques. The patterns
proposed in this paper cover different types of real-time tasks, resources and
mappings, and include also aspects that are usually ignored in classical analysis
approaches, like task activation latency or execution context switches. In this
paper, we present a library of such modelling patterns expressed in the POOSL
language. By identifying the patterns that are needed for the specification of a
system, the POOSL model can be automatically generated and analysed using its
related tools and techniques as illustrated in two case studies.
Original language | English |
---|---|
Title of host publication | Advances in Design and Specification Languages for Embedded Systems : Selected Contributions from FDL'06 |
Editors | S.A. Huss |
Place of Publication | Dordrecht |
Publisher | Springer |
Pages | 339-358 |
ISBN (Print) | 978-1-4020-6147-9 |
DOIs | |
Publication status | Published - 2007 |