research-article

Supporting fault-tolerance in a compositional real-time scheduling framework

Authors:

Guy Martin Tchamgoue,

Kyong Hoon Kim,

Yong-Kee JunAuthors Info & Claims

ACM SIGBED Review, Volume 12, Issue 2

Pages 7 - 15

https://doi.org/10.1145/2782753.2782754

Published: 20 May 2015 Publication History

Abstract

Component-based analysis allows a robust time and space decomposition of a complex real-time system into components, which are then recomposed and hierarchically scheduled under potentially different scheduling policies. This mechanism is of great benefit to many critical systems as it enables fault isolation. To provide fault-tolerant scheduling in a compositional real-time scheduling framework, a few works have recently emerged, but remain inefficient in providing fault isolation or in terms of resource utilization. In this paper, we introduced a new interface model that takes into account the fault requirements of a component, and a fault-tolerant resource model that helps the component to effectively respond to each of its child components in presence of a fault. Finally, we analyzed the schedulability of the framework considering the Rate Monotonic scheduling algorithm.

References

[1]

ARINC. Avionics application software standard interface: Part 1 - required services (arinc specification 653-2). Technical report, Aeronautical Radio, Incorporated, March 2006.

[2]

M. Asberg, M. Behnam, F. Nemati, and T. Nolte. Towards hierarchical scheduling in autosar. In Emerging Technologies Factory Automation, ETFA 2009, pages 1--8, Sept 2009.

Digital Library

[3]

R. Bril and J. Lee (editors). Proc. 7th international workshop on compositional theory and technology for real-time embedded systems (CRTS). Technical Report CSR-14-07, Eindhoven University of Technology (TU/e), December 2014. Available from: http://www.win.tue.nl/~rbril/CRTS/ FinalProcCRTS2014.pdf.

[4]

S. Chen, L. T. X. Phan, J. Lee, I. Lee, and O. Sokolsky. Removing abstraction overhead in the composition of hierarchical real-time systems. In Proceedings of the 2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS '11, pages 81--90. IEEE Computer Society, 2011.

Digital Library

[5]

A. Cunei and J. Vitek. A new approach to real-time checkpointing. In Proceedings of the 2Nd International Conference on Virtual Execution Environments, VEE '06, pages 68--77. ACM, 2006.

Digital Library

[6]

A. Easwaran, I. Lee, O. Sokolsky, and S. Vestal. A compositional scheduling framework for digital avionics systems. In Proceedings of the 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'09), pages 371--380, August 2009.

Digital Library

[7]

P. Eles, V. Izosimov, P. Pop, and Z. Peng. Synthesis of fault-tolerant embedded systems. In Proceedings of the Conference on Design, Automation and Test in Europe, DATE '08, pages 1117--1122. ACM, 2008.

Digital Library

[8]

M. A. Haque, H. Aydin, and D. Zhu. Real-time scheduling under fault bursts with multiple recovery strategy. In Proceedings of the 20th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS '14, pages -. IEEE Computer Society, 2014.

[9]

J. Hyun and K. H. Kim. Fault-tolerant scheduling in hierarchical real-time scheduling framework. In Proceedings of the 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA '12, pages 431--436. IEEE Computer Society, 2012.

Digital Library

[10]

J. Hyun, S. Lim, Y. Park, K. S. Yoon, J. H. Park, B. M. Hwang, and K. H. Kim. A fault-tolerant temporal partitioning scheme for safety-critical mission computers. In Proceedings of the 31st IEEE/AIAA Digital Avionics Systems Conference, DASC'12, pages 6C3-1-6C3-8. IEEE Computer Society, Oct 2012.

[11]

H.-W. Jin. Fault-tolerant hierarchical real-time scheduling with backup partitions on single processor. SIGBED Rev., 10(4):25--28, Dec. 2013.

Digital Library

[12]

F. Many and D. Doose. Scheduling analysis under fault bursts. In Proceedings of the 2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS '11, pages 113--122. IEEE Computer Society, 2011.

Digital Library

[13]

V. Mikolasek and H. Kopetz. Roll-forward recovery with state estimation. In Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC '11, pages 179--186. IEEE Computer Society, March 2011.

Digital Library

[14]

D. Nikolov, U. Ingelsson, V. Singh, and E. Larsson. Evaluation of level of confidence and optimization of roll-back recovery with checkpointing for real-time systems. Microelectronics Reliability, 54(5):1022--1049, 2014.

[15]

R. M. Pathan and J. Jonsson. Exact fault-tolerant feasibility analysis of fixed-priority real-time tasks. In Proceedings of the 2010 IEEE 16th International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA '10, pages 265--274. IEEE Computer Society, 2010.

Digital Library

[16]

L. T. X. Phan, M. Xu, J. Lee, I. Lee, and O. Sokolsky. Overhead-aware compositional analysis of real-time systems. In Proceedings of the 2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS), RTAS '13, pages 237--246. IEEE Computer Society, 2013.

Digital Library

[17]

I. Shin and I. Lee. Compositional real-time scheduling framework with periodic model. ACM Transactions on Embedded Computing Systems (TECS), 7(3):30:1--30:39, April 2008.

Digital Library

[18]

G. M. Tchamgoue, K. H. Kim, Y.-K. Jun, and W. Y. Lee. Compositional real-time scheduling framework for periodic reward-based task model. Journal of Systems and Software, 86(6):1712--1724, 2013.

Digital Library

[19]

J. Xu and B. Randell. Roll-forward error recovery in embedded real-time systems. In Proceedings of the International Conference on Parallel and Distributed Systems, pages 414--421. IEEE, June 1996.

Digital Library

[20]

Y. Zhang and K. Chakrabarty. Fault recovery based on checkpointing for hard real-time embedded systems. In Proceedings of the 18th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, pages 320--327. IEEE, 2003.

Digital Library

Cited By

Cheng ADai GPaluri PAnsari MKnape DLi Y(2019)Fault-Tolerant Regularity-Based Real-Time Virtual Resources2019 IEEE 25th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)10.1109/RTCSA.2019.8864575(1-12)Online publication date: Aug-2019
https://doi.org/10.1109/RTCSA.2019.8864575

Index Terms

Supporting fault-tolerance in a compositional real-time scheduling framework
1. Computer systems organization
2. Software and its engineering
  1. Software organization and properties
    1. Contextual software domains
      1. Operating systems
        Process management
        Scheduling

Recommendations

Power-aware scheduling of compositional real-time frameworks

We define the real-time DVS problem for compositional scheduling frameworks.We provide optimal static DVS schemes at system, component, and task levels.We introduce dynamic component and task level DVS schemes for finer energy savings.We propose power-...
Fault-tolerant real-time tasks scheduling with dynamic fault handling
Abstract
Predictable performance when coping with transient failures is of paramount importance in safety-critical real-time systems. Various software fault-tolerant techniques are employed towards this goal among which check-pointing is a ...
Guaranteeing fault tolerance through scheduling in real-time systems

Comments

Information & Contributors

Information

Published In

cover image ACM SIGBED Review

ACM SIGBED Review Volume 12, Issue 2

Special Issue on the 7th Workshop on Compositional Theory and Technology for Real-Time Embedded Systems

April 2015

15 pages

EISSN:1551-3688

DOI:10.1145/2782753

Editors:
Moris Behnam
Mälardalen University, Sweden
,
Giorgio Buttazzo
Scuola Superiore Sant'Anna of Pisa, Italy

Issue’s Table of Contents

Copyright © 2015 Authors.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 20 May 2015

Published in SIGBED Volume 12, Issue 2

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Ministry of Education (MOE, Korea)
Ministry of Science, ICT & Future Planning
National Research Foundation of Korea (NRF)

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
105
Total Downloads

Downloads (Last 12 months)3
Downloads (Last 6 weeks)0

Reflects downloads up to 16 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

Cheng ADai GPaluri PAnsari MKnape DLi Y(2019)Fault-Tolerant Regularity-Based Real-Time Virtual Resources2019 IEEE 25th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)10.1109/RTCSA.2019.8864575(1-12)Online publication date: Aug-2019
https://doi.org/10.1109/RTCSA.2019.8864575

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Issue’s Table of Contents