42 search results - page 1 / 9 » SVERTS - Specification and Validation of Real-Time and Embed... |
DAC
1997
ACM
13 years 10 months ago
1997
ACM
Task scheduling forreactive real time systems is a di cult problem due to tight constraints that the schedule must satisfy. A static priority scheme is proposed here that can be f...
HASE
2007
IEEE
13 years 10 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
FM
2006
Springer
13 years 10 months ago
2006
Springer
EUC
2008
Springer
13 years 8 months ago
2008
Springer
A generalized dynamic energy performance scaling (DEPS) framework is proposed for exploring applicationspecific energy-saving potential in hard real-time embedded systems. This so...
FDL
2004
IEEE
13 years 10 months ago
2004
IEEE
gn process of embedded systems moves currently towards higher levels of abstraction. As a consequence, a need arises for an early and realistic assessment of system level design d...