skip to main content
article

Fine-Grained Runtime Monitoring of Real-Time Embedded Systems

Authors Info & Claims
Published:19 December 2022Publication History
Skip Abstract Section

Abstract

Dynamically ensuring the correctness of the functional behavior of a real-time embedded system is tedious, especially in the autonomous domain. Even though the current real-time task model provides sufficient information to perform basic schedulability tests, it is inadequate to be used in runtime monitoring to assert and guarantee the correctness of a system under hardware/software malfunctions or malicious cyber attacks. In this article, we present a runtime monitoring approach based on a fine-grained model of real-time tasks.

References

  1. C. L. Liu and J. W. Layland, "Scheduling algorithms for multiprogramming in a hard-real-time environment," Journal of the ACM (JACM), vol. 20, no. 1, pp. 46--61, 1973.Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. C. Ballabriga, H. Cassé, C. Rochange, and P. Sainrat, "Otawa: An open toolbox for adaptive wcet analysis," in IFIP International Workshop on Software Technolgies for Embedded and Ubiquitous Systems, pp. 35--46, 2010.Google ScholarGoogle Scholar
  3. F. Singhoff, J. Legrand, L. Nana, and L. Marcé, "Cheddar: a flexible real time scheduling framework," in Proceedings of the 2004 ACM SIGAda international conference, 2004.Google ScholarGoogle ScholarDigital LibraryDigital Library

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

  • Published in

    cover image ACM SIGAda Ada Letters
    ACM SIGAda Ada Letters  Volume 42, Issue 1
    June 2022
    67 pages
    ISSN:1094-3641
    DOI:10.1145/3577949
    Issue’s Table of Contents

    Copyright © 2022 Copyright is held by the owner/author(s)

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    • Published: 19 December 2022

    Check for updates

    Qualifiers

    • article
  • Article Metrics

    • Downloads (Last 12 months)20
    • Downloads (Last 6 weeks)0

    Other Metrics

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!