42 search results - page 1 / 9 » SVERTS - Specification and Validation of Real-Time and Embed... |
78
Voted
DAC
1997
ACM
15 years 2 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...
95
Voted
HASE
2007
IEEE
15 years 2 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...
77
Voted
FM
2006
Springer
15 years 1 months ago
2006
Springer
EUC
2008
Springer
14 years 12 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...
154
click to vote
FDL
2004
IEEE
15 years 1 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...