1341 search results - page 27 / 269 » Unified Modeling of Complex Real-Time Control Systems |
RTSS
1992
IEEE
14 years 2 months ago
1992
IEEE
The problem of scheduling a set of sporadic tasks that share a set of serially reusable, single unit software resources on a single processor is considered. The correctness condit...
HASE
1999
IEEE
14 years 2 months ago
1999
IEEE
The state of the art in verifying the real-time requirements of applications developed using general processing graph models relies on simulation or off-line scheduling. We extend...
CHARME
2001
Springer
14 years 1 months ago
2001
Springer
In this paper we present a syntactical approach for deriving real-time programs from a formal specification of the requirements of real-time systems. The main idea of our approach ...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
USENIX
2008
14 years 15 days ago
2008
We propose a real real-time memory management system called Compact-fit that offers both time and space predictability. Compact-fit is a compacting memory management system for al...