Fault-tolerant Scheduling of Stateful Tasks in Uniprocessor Real-time Systems

Petr Alexeev, Pontus Boström, Marina Waldén, Mikko Huova, Matti Linjama, Kaisa Sere

Abstract

The recovery block (RcB) approach is intended for masking software faults. This approach can be implemented for real-time systems by establishing primary and alternative versions for each task and providing a fault-tolerant preemptive schedule which masks possibly missed deadlines. Existing scheduling algorithms require rearrangement of tasks parameters during run-time. Applying these algorithms for stateful tasks which keep their state between releases is difficult. We defined two off-line scheduling algorithms: Backwards-Direct-Deadline-Monotonic (B-D-DM) and Earliest-Deadlines-as-Late as possible-Deadline-Monotonic (EDL-DM). These algorithms are based on existing algorithms used for periodic tasks: Backwards-DM, EDL and DM. The main advantage of our algorithms is the ability to calculate all parameters of the schedule off-line and implement RcB for stateful tasks. We propose a feasibility check for the resulting schedule. The proposed algorithm B-D-DM was implemented in a case study of a control system designed in Simulink.

References

  1. Audsley, N. C., Burns, A., Richardson, M. F., and Wellings, A. J. (1991). Hard real-time scheduling: The deadlinemonotonic approach. Proc IEEE Workshop on RealTime Operating Systems and Software, pages 1-6.
  2. Buttazzo, G. C. (2011). Hard Real-Time Computing Systems. Springer US.
  3. Chetto, H. (1994). Guaranteed deadlines with dynamic recovery blocks in distributed systems. In Proceedings: Sixth Euromicro Workshop on Real-Time Systems, 1994, pages 199-204.
  4. Chetto, H. and Chetto, M. (1989). Some results of the earliest deadline scheduling algorithm. IEEE Trans. Softw. Eng., 15(10):1261-1269.
  5. Ding, W. and Guo, R. (2009). An effective RM-based scheduling algorithm for fault-tolerant real-time systems. In International Conference on Computational Science and Engineering CSE 7809, volume 2, pages 759-764.
  6. EL Ghor, H., Chetto, M., and Chehade, R. H. (2011). A real-time scheduling framework for embedded systems with environmental energy harvesting. Comput. Electr. Eng., 37(4):498-510.
  7. Han, C.-C., Shin, K. G., and Wu, J. (2003). A faulttolerant scheduling algorithm for real-time periodic tasks with possible software faults. IEEE Trans. Comput., 52(3):362-372.
  8. Huova, M., Ketonen, M., Alexeev, P., Bostrm, P., Linjama, M., Waldn, M., and Sere, K. (2012). Simulations with fault-tolerant controller software of a digital valve. In Proceedings of the Fifth Workshop on Digital Fluid Power - DFP12, Tampere Finland, pages 223-242.
  9. Linjama, M., Huova, M., Bostrm, P., Laamanen, A., Siivonen, L., Morel, L., Walden, M., and Vilenius, M. (2007). Design and implementation of energy saving digital hydraulic control system. In Vilenius, J. & Koskinen, K.T. (eds.) The Tenth Scandinavian International Conference on Fluid Power, May 21-23, 2007, Tampere, Finland, SICFP'07, pages 341-359.
Download


Paper Citation


in Harvard Style

Alexeev P., Boström P., Waldén M., Huova M., Linjama M. and Sere K. (2013). Fault-tolerant Scheduling of Stateful Tasks in Uniprocessor Real-time Systems . In Proceedings of the 3rd International Conference on Pervasive Embedded Computing and Communication Systems - Volume 1: PECCS, ISBN 978-989-8565-43-3, pages 189-194. DOI: 10.5220/0004305701890194


in Bibtex Style

@conference{peccs13,
author={Petr Alexeev and Pontus Boström and Marina Waldén and Mikko Huova and Matti Linjama and Kaisa Sere},
title={Fault-tolerant Scheduling of Stateful Tasks in Uniprocessor Real-time Systems},
booktitle={Proceedings of the 3rd International Conference on Pervasive Embedded Computing and Communication Systems - Volume 1: PECCS,},
year={2013},
pages={189-194},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004305701890194},
isbn={978-989-8565-43-3},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Conference on Pervasive Embedded Computing and Communication Systems - Volume 1: PECCS,
TI - Fault-tolerant Scheduling of Stateful Tasks in Uniprocessor Real-time Systems
SN - 978-989-8565-43-3
AU - Alexeev P.
AU - Boström P.
AU - Waldén M.
AU - Huova M.
AU - Linjama M.
AU - Sere K.
PY - 2013
SP - 189
EP - 194
DO - 10.5220/0004305701890194