skip to main content
10.1145/3477244.3477613acmconferencesArticle/Chapter ViewAbstractPublication PagesesweekConference Proceedingsconference-collections
short-paper

WCET-aware reachability for verified simplex design: work-in-progress

Published: 30 September 2021 Publication History

Abstract

Previous online reachability algorithms for hybrid automata reduced conservatism in verified Simplex controller architectures, but were restricted to the imprecise real-time paradigm, i.e., their precision increases over time. Yet, many safety-critical cyber-physical systems are hard real-time systems, requiring an upper bound on the worst-case execution time (WCET) of each task to be known. We show that the iteration bound of the reachability loop can be parameterized by a single factor which determines the precision. Consequently, an algorithm could select a fixed precision depending on the time left until its deadline. In this paper we present such a WCET-aware reachability algorithm, based on an existing algorithm for imprecise real-time. Its smallest WCET bound on an Infineon XMC4500 microprocessor is 32.861 milliseconds.

References

[1]
S. Bak, D. K. Chivukula, O. Adekunle, M. Sun, M. Caccamo, and L. Sha. 2009. The System-Level Simplex Architecture for Improved Real-Time Embedded System Safety. In 15th IEEE RTAS. 99--107.
[2]
M. Bodson, J. Lehoczky, R. Rajkumar, L. Sha, D. Soh, M. Smith, and J. Stephan. 1993. Control Reconfiguration in the Presence of Software Failures. In Proc. of 32nd IEEE CDC. 2284--2289.
[3]
T. T. Johnson, S. Bak, M. Caccamo, and L. Sha. 2016. Real-Time Reachability for Verified Simplex Design. ACM TECS 15, 2 (Feb. 2016), 26:1--26:27.
[4]
L. Sha, R. Rajkumar, and M. Gagliardi. 1996. Evolving Dependable Real-Time Systems. In 1996 IEEE AERO. Proc., Vol. 1. 335--346 vol.1.
[5]
K. Sudhakar, Y. Zhao, and F.-J. Rammig. 2016. Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System. Concurrency and Computation: Practice and Experience 28, 14 (2016), 3773--3797.
[6]
R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing, D. Whalley, G. Bernat, C. Ferdinand, R. Heckmann, T. Mitra, F. Mueller, I. Puaut, P. Puschner, J. Staschulat, and P. Stenström. 2008. The Worst-Case Execution-Time Problem - Overview of Methods and Survey of Tools. ACM TECS 7, 3 (May 2008), 36:1--36:53.

Index Terms

  1. WCET-aware reachability for verified simplex design: work-in-progress

      Recommendations

      Comments

      Information & Contributors

      Information

      Published In

      cover image ACM Conferences
      EMSOFT '21: Proceedings of the 2021 International Conference on Embedded Software
      September 2021
      60 pages
      ISBN:9781450387125
      DOI:10.1145/3477244
      Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

      Sponsors

      In-Cooperation

      • IEEE CAS
      • IEEE Council on Electronic Design Automation (CEDA)

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      Published: 30 September 2021

      Permissions

      Request permissions for this article.

      Check for updates

      Author Tags

      1. WCET
      2. online reachability
      3. simplex

      Qualifiers

      • Short-paper

      Conference

      ESWEEK '21
      ESWEEK '21: Seventeenth Embedded Systems Week
      October 8 - 15, 2021
      Virtual Event

      Acceptance Rates

      Overall Acceptance Rate 60 of 203 submissions, 30%

      Contributors

      Other Metrics

      Bibliometrics & Citations

      Bibliometrics

      Article Metrics

      • 0
        Total Citations
      • 94
        Total Downloads
      • Downloads (Last 12 months)2
      • Downloads (Last 6 weeks)0
      Reflects downloads up to 22 Feb 2025

      Other Metrics

      Citations

      View Options

      Login options

      View options

      PDF

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader

      Figures

      Tables

      Media

      Share

      Share

      Share this Publication link

      Share on social media