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.
- 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. Google ScholarDigital Library
- 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. Google ScholarCross Ref
- 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. Google ScholarDigital Library
- L. Sha, R. Rajkumar, and M. Gagliardi. 1996. Evolving Dependable Real-Time Systems. In 1996 IEEE AERO. Proc., Vol. 1. 335--346 vol.1. Google ScholarCross Ref
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
Index Terms
- WCET-aware reachability for verified simplex design: work-in-progress
Recommendations
A Survey of WCET Analysis of Real-Time Operating Systems
ICESS '09: Proceedings of the 2009 International Conference on Embedded Software and SystemsTiming correctness of hard real-time systems is guaranteed by schedulability analysis and worst-case execution time (WCET) analysis of programs. Traditional WCET analysis mainly deals with application programs and has achieved success in industry. ...
WCET Analysis of the mC/OS-II Real-Time Kernel
CSE '09: Proceedings of the 2009 International Conference on Computational Science and Engineering - Volume 02Worst-case execution time (WCET) analysis is one of the major tasks in timing validation of hard real-time systems. In complex systems with real-time operating systems (RTOS), the timing properties of the system are decided by both the applications and ...
Hardware support for WCET analysis of hard real-time multicore systems
ISCA '09: Proceedings of the 36th annual international symposium on Computer architectureThe increasing demand for new functionalities in current and future hard real-time embedded systems like automotive, avionics and space industries is driving an increase in the performance required in embedded processors. Multicore processors represent ...
Comments