3387 search results - page 99 / 678 » Model-Checking for Real-Time Systems |
ACSD
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper proposes a formal framework for the design of real-time shared data-space systems. The proposed method separates the concerns of functionality, behavior, and timing. Th...
111
click to vote
ECRTS
2003
IEEE
15 years 7 months ago
2003
IEEE
We revisit the problem of supertasking in Pfair-scheduled multiprocessor systems. In this approach, a set of tasks, called component tasks, is assigned to a server task, called a ...
134
click to vote
ISORC
2002
IEEE
15 years 7 months ago
2002
IEEE
Functionality for various services of scheduling algorithms is typically provided as extensions to a basic algorithm. Aperiodic task handling, guarantees, etc., are integrated wit...
132
Voted
ISORC
2000
IEEE
15 years 7 months ago
2000
IEEE
We describe a real-time, component-based system for an inspection application. We chose the inspection application and the accompanying task (or scenario) so that we might fully e...
118
Voted
RTSS
2000
IEEE
15 years 7 months ago
2000
IEEE
The maturity of schedulabilty analysis techniquesfor fired-prioritypreemptive scheduling has enabled the consideration of timing issues at design time using a specification of the...