487 search results - page 6 / 98 » Schedulability analysis of AADL models |
SCHEDULING
2010
13 years 8 months ago
2010
This paper reconsiders the PERT scheduling problem when information about task duration is incomplete. We model uncertainty on task durations by intervals. With this problem formu...
ISORC
2008
IEEE
14 years 4 months ago
2008
IEEE
Conditional real-time task models, which are generalizations of periodic, sporadic, and multi-frame tasks, represent real world applications more accurately. These models can be c...
CORR
2011
Springer
13 years 4 months ago
2011
Springer
We study how the choice of packet scheduling algorithms influences end-to-end performance on long network paths. Taking a network calculus approach, we consider both deterministi...
B
2007
Springer
14 years 4 months ago
2007
Springer
Following a brief discussion of uniprocessor scheduling in which we argue the case for formal analysis, we describe a distributed Event B model of interrupt driven scheduling. We ï...
RTSS
2007
IEEE
14 years 4 months ago
2007
IEEE
Schedulability analysis is a cornerstone of modern real-time scheduling theory development. Utilizationbound based schedulability test is considered one of most efficient and effe...