Logotype Mälardalen University

MRTC publications



Probabilistic Schedulability Guarantees for Dependable Real-time Systems under Error Bursts

Authors: Hüseyin Aysan, Radu Dobrin, Sasikumar Punnekkat, Rolf Johansson (external)
Source: 8th IEEE International Conference on Embedded Software and Systems, Changsha, China
 

Abstract

The fundamental requirement for the design of effective and efficient fault-tolerance mechanisms in dependable real-time systems is a realistic and applicable model of potential faults, their manifestations and consequences. Fault and error models also need to be evolved based on the characteristics of the operational environments or even based on technological advances. In this paper we propose a probabilistic burst error model in lieu of the commonly used simplistic fault assumptions in the context of processor scheduling. We present a novel schedulability analysis that accounts for the worst case interference caused by error bursts on the response times of tasks scheduled under the fixed priority scheduling (FPS) policy. Further, we describe a methodology for the calculation of probabilistic schedulability guarantees as a weighted sum of the conditional probabilities of schedulability under specified error burst characteristics. Finally, we identify potential sources of pessimism in the worst case response time calculations and discuss potential means for circumventing these issues.
 

BibTeX entry

@inproceedings{Aysan_2657:2011,
   author = {H{\"u}seyin Aysan and Radu Dobrin and Sasikumar Punnekkat and Rolf Johansson},
   title = {Probabilistic Schedulability Guarantees for Dependable Real-time Systems under Error Bursts},
   booktitle = {8th IEEE International Conference on Embedded Software and Systems},
   month = {November},
   year = {2011},
   url = {http://www.mrtc.mdh.se/index.php?choice=publications&id=2657},
}

  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2010.02.23