skip to main content
research-article

Fault-Tolerant Preemptive Aperiodic RT Scheduling by Supervisory Control of TDES on Multiprocessors

Authors Info & Claims
Published:11 April 2017Publication History
Skip Abstract Section

Abstract

Safety-critical real-time systems must meet stringent timing and fault-tolerance requirements. This article proposes a methodology for synthesizing an optimal preemptive multiprocessor aperiodic task scheduler using a formal supervisory control framework. The scheduler can tolerate single/multiple permanent processor faults. Further, the synthesis framework has been empowered with a novel BDD-based symbolic computation mechanism to control the exponential state-space complexity of the optimal exhaustive enumeration-oriented synthesis methodology.

Skip Supplemental Material Section

Supplemental Material

References

  1. Subrata Acharya and Rabi Mahapatra. 2008. A dynamic slack management technique for real-time distributed embedded systems. IEEE Transactions on Computers 57, 2, 215--230. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. R. D. Brandt, V. Garg, R. Kumar, F. Lin, S. I. Marcus, and W. M. Wonham. 1990. Formulas for calculating supremal controllable and normal sublanguages. Systems 8 Control Letters 15, 2, 111--117. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. R. E. Bryant. 1986. Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers C-35, 8, 677--691. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. Giorgio C. Buttazzo. 2011. Hard Real-time Computing Systems: Predictable Scheduling Algorithms and Applications. Vol. 24. Springer. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. Peter C. Y. Chen and W. Murray Wonham. 2002. Real-time supervisory control of a processor for non-preemptive execution of periodic tasks. Real-Time Systems 23, 3, 183--208. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. Rajesh Devaraj, Arnab Sarkar, and Santosh Biswas. 2015. A design fix to supervisory control for fault-tolerant scheduling of real-time multiprocessor systems with aperiodic tasks. International Journal of Control 88, 11, 2211--2216. Google ScholarGoogle ScholarCross RefCross Ref
  7. Sunondo Ghosh, Rami Melhem, and Daniel Mossé. 1997. Fault-tolerance through scheduling of aperiodic tasks in hard real-time multiprocessor systems. IEEE Transactions on Parallel and Distributed Systems 8, 3, 272--284. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. Viacheslav Izosimov, Paul Pop, Petru Eles, and Zebo Peng. 2012. Scheduling and optimization of fault-tolerant embedded systems with transparency/performance trade-offs. ACM Transactions on Embedded Computing Systems 11, 3, 61. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. Vasudevan Janarthanan and Peyman Gohari. 2007. Multiprocessor scheduling in supervisory control of discrete-event systems framework. Control and Intelligent Systems 35, 4, 360. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. Vasudevan Janarthanan, Peyman Gohari, and Abdollah Saffar. 2006. Formalizing real-time scheduling using priority-based supervisory control of discrete-event systems. IEEE Transactions on Automatic Control 51, 6, 1053--1058. Google ScholarGoogle ScholarCross RefCross Ref
  11. Nagarajan Kandasamy, John P. Hayes, and Brian T. Murray. 2005. Dependable communication synthesis for distributed embedded systems. Reliability Engineering 8 System Safety 89, 1, 81--92.Google ScholarGoogle Scholar
  12. Frank Liberato, Sylvain Lauzac, Rami Melhem, and Daniel Mossé. 1999. Fault tolerant real-time global scheduling on multiprocessors. In Proceedings of the 11th Euromicro Conference on Real-Time Systems. IEEE, 252--259. Google ScholarGoogle ScholarCross RefCross Ref
  13. Frank Liberato, Rami Melhem, and Daniel Mossé. 2000. Tolerance to multiple transient faults for aperiodic tasks in hard real-time systems. IEEE Transactions on Computers 49, 9, 906--914. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. Sajed Miremadi, Bengt Lennartson, and Knut Akesson. 2012. A BDD-based approach for modeling plant and supervisor by extended finite automata. IEEE Transactions on Control Systems Technology 20, 6, 1421--1435. Google ScholarGoogle ScholarCross RefCross Ref
  15. Seong-Jin Park and Kwang-Hyun Cho. 2009. Supervisory control for fault-tolerant scheduling of real-time multiprocessor systems with aperiodic tasks. International Journal of Control 82, 2, 217--227. Google ScholarGoogle ScholarCross RefCross Ref
  16. Ismael Ripoll, Alfons Crespo, and Ana García-Fornes. 1997. An optimal algorithm for scheduling soft aperiodic tasks in dynamic-priority preemptive systems. IEEE Transactions on Software Engineering 23, 6, 388--400. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. Fabio Somenzi. 2015. CUDD: CU decision diagram package release 3.0.0.Google ScholarGoogle Scholar

Index Terms

  1. Fault-Tolerant Preemptive Aperiodic RT Scheduling by Supervisory Control of TDES on Multiprocessors

        Recommendations

        Comments

        Login options

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

        Sign in

        Full Access

        PDF Format

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader
        About Cookies On This Site

        We use cookies to ensure that we give you the best experience on our website.

        Learn more

        Got it!