Conference contribution


Concepts for Autonomous Control Flow Checking for Embedded CPUs


Publication Details
Author(s): Ziener D, Teich J
Title edited volumes: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher: Springer-verlag
Publishing place: Berlin, Heidelberg
Publication year: 2008
Title of series: Lecture Notes in Computer Science (LNCS)
Volume: 5060
Journal issue: 2008
Conference Proceedings Title: Proceedings of the 5th International Conference on Autonomic and Trusted Computing (ATC-08)
Pages range: 234-248
ISBN: 978-3-540-69294-2
ISSN: 0302-9743

Event details
Event: 5th International Conference on Autonomic and Trusted Computing (ATC-08)
Event location: Oslo
Start date of the event: 23/06/2008
End date of the event: 25/06/2008

Abstract

In this paper, we introduce new concepts and methods for checking the correctness of control flow instructions during the execution of programs in embedded CPUs. Detecting and avoiding the execution of faulty control flow instructions is a problem of growing importance w.r.t. reliability and security. On the other hand, hardware cost overheads and an easy integration into the design flow are of utmost important for cost sensitive embedded systems. Our proposed methodology is able to monitor all direct jumps and branches as well as calls and returns form subroutines autonomously during program execution. Furthermore, we propose and evaluate an implementation of an autonomous checker unit which is closely coupled to the processor and can detect and even avoid the execution of a faulty control flow instruction. Upon detection of a faulty instruction, we propose a method to refetch and reexecute the incorrect jump or branch instruction. Other benefits of this novel approach are that the application code must not be changed or augmented by signatures or additional instructions, and that there is no measurable performance impact in terms of execution latency. From the user point of view, our approach is completely transparent to a program developer. © 2008 Springer-Verlag Berlin Heidelberg.



How to cite
APA: Ziener, D., & Teich, J. (2008). Concepts for Autonomous Control Flow Checking for Embedded CPUs. In Proceedings of the 5th International Conference on Autonomic and Trusted Computing (ATC-08) (pp. 234-248). Oslo, NO: Berlin, Heidelberg: Springer-verlag.

MLA: Ziener, Daniel, and Jürgen Teich. "Concepts for Autonomous Control Flow Checking for Embedded CPUs." Proceedings of the 5th International Conference on Autonomic and Trusted Computing (ATC-08), Oslo Berlin, Heidelberg: Springer-verlag, 2008. 234-248.

BibTeX: Download
Share link
Last updated on 2017-11-23 at 01:50
PDF downloaded successfully