A general time model for the specification and design of embedded real-time systems

Design of complex embedded systems feasible with current and upcoming semiconductor technologies necessitates consideration of real-time from the beginning. However, the commonly used specification techniques do not consider temporal aspects in general like fulfillment of high level timing requireme...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Microelectronics Ročník 34; číslo 11; s. 989 - 1000
Hlavní autoři: Münzenberger, Ralf, Dörfel, Matthias, Hofmann, Richard, Slomka, Frank
Médium: Journal Article
Jazyk:angličtina
Vydáno: Elsevier Ltd 01.11.2003
Témata:
ISSN:1879-2391
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:Design of complex embedded systems feasible with current and upcoming semiconductor technologies necessitates consideration of real-time from the beginning. However, the commonly used specification techniques do not consider temporal aspects in general like fulfillment of high level timing requirements or dynamic reactions on timing violations. In this paper, we discuss the restrictions of current specification techniques for embedded real-time systems and present a general time model that solves this issue. The time model contains the progress of time, the measurement of time and the specification of timing requirements based on event traces. In contrast to earlier techniques, preconditions determine the actual relevance of a specific timing bound. Exemplified for SDL, a solution for the specification of temporal aspects is shown. The advantages of this solution are discussed in a hardware/software co-design case study from the mobile communication area.
ISSN:1879-2391
DOI:10.1016/S0026-2692(03)00167-8