Name
Abstract | ||
|---|---|---|
Real-time systems typically have to satisfy complex requirements, mapped to the task attributes, eventually guaranteed by the underlying scheduler. These systems consist of a mix of hard and soft tasks with varying criticality, as well as associated fault tolerance requirements. Additionally, the relative criticality of tasks could undergo changes during the system evolution. Time redundancy techniques are often preferred in embedded applications and, hence, it is extremely important to devise appropriate methodologies for scheduling real-time tasks under failure assumptions.In this paper, we propose a methodology to provide a priori guarantees in fixed priority scheduling (FPS) such that the system will be able to tolerate one error per every critical task instance. We do so by using Integer Linear Programming (ILP) to derive task attributes that guarantee re-execution of every critical task instance before its deadline, while keeping the associated costs minimized. We illustrate the effectiveness of our approach, in comparison with fault tolerant (FT) adaptations of the well-known rate monotonic (RM) scheduling, by simulations. |
Year | DOI | Venue |
|---|---|---|
2008 | 10.1109/RTCSA.2008.6 | RTCSA |
Keywords | Field | DocType |
fault tolerance capability,fixed priority scheduling,relative criticality,associated cost,soft task,critical task instance,fault tolerant,fault tolerance requirement,fixed priority schedules,real-time system,task attribute,real-time task,servers,integer linear programming,schedules,fault tolerance,job shop scheduling,redundancy,integer programming,satisfiability,real time,real time systems,rate monotonic scheduling,linear programming | Fixed-priority pre-emptive scheduling,Job shop scheduling,Scheduling (computing),Computer science,Deadline-monotonic scheduling,Real-time computing,Redundancy (engineering),Schedule,Fault tolerance,Rate-monotonic scheduling,Distributed computing | Conference |
Citations | PageRank | References |
9 | 0.53 | 17 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Radu Dobrin | 1 | 169 | 22.41 |
| Hüseyin Aysan | 2 | 40 | 5.56 |
| Sasikumar Punnekkat | 3 | 414 | 50.49 |