1980 search results - page 75 / 396 » Compositional Model Checking of Real Time Systems |
165
click to vote
ECBS
2007
IEEE
15 years 10 months ago
2007
IEEE
Due to the high cost of modeling, model-based techniques are yet to make their impact in the embedded systems industry, which still persist on maintaining code-oriented legacy sys...
163
Voted
RTSS
2006
IEEE
16 years 5 days ago
2006
IEEE
In this paper, we consider the system-wide energy management problem for a set of periodic real-time tasks running on a DVS-enabled processor. Our solution uses a generalized powe...
220
click to vote
ECRTS
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper presents a general framework for analyzing and designing embedded systems with energy and timing requirements. A set of realistic assumptions is considered in the model...
165
click to vote
RTSS
2007
IEEE
16 years 13 days ago
2007
IEEE
The integration phase of real-time COTS-based systems is often problematic because when multiple tasks run concurrently, the interference at the bus level between cache fetching a...
216
click to vote
RTAS
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper introduces FARA, a framework that provides abstractions and mechanisms for building integrated adaptation and resource allocation services in complex real-time systems....