Abstraction of assembler programs for symbolic worst case execution time analysis

ion of Assembler Programs for Symbolic Worst Case Execution Time Analysis Tobias Schuele [e-mail] Klaus Schneider [e-mail] Reactive Systems Group, Department of Computer Science, University of Kaiserslautern P.O. Box 3049, 67653 Kaiserslautern, Germany Various techniques have been proposed to determine the worst case execution time of real?time systems. For most of these approaches, it is not necessary to capture the complete semantics of the system. Instead, it suffices to analyze an abstract model provided that it reflects the system's execution time correctly. To this end, we present action technique based on program slicing that can be used to simplify software systems at the level of assembler programs. The key idea is to determine a minimal set of instructions such that rol flow of the program is maintained. This abstraction is essential for reducing the runtime of the analysis algorithms, in particular, when symbolic m...

• Type: Conference
• Year: 2004
• Where: DAC
• Authors: Klaus Schneider, Tobias Schüle
• Keywords: Case Execution Time, DAC 2004, Design Automation, Symbolic Worst Case, Worst Case Execution