9210 search results - page 5 / 1842 » Analyzing Real-Time Systems |
ICESS
2004
Springer
14 years 27 days ago
2004
Springer
An integrated solution to guarantee real-time requirements in embedded real-time monitor and control systems is presented in this paper. First l task model is abstracted from such ...
CAV
2012
Springer
11 years 10 months ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
LCTRTS
1998
Springer
13 years 11 months ago
1998
Springer
: During the latter stages of a software product cycle, developers may be faced with the task of fine-tuning an embedded system that is not meeting all of its timing requirements. ...
ECBS
2010
IEEE
14 years 2 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
RTAS
2002
IEEE
14 years 13 days ago
2002
IEEE
Dynamic voltage scaling (DVS) is an effective low-power design technique for embedded real-time systems. In recent years, many DVS algorithms have been proposed for reducing the e...