Title :
Efficient WCRT analysis of synchronous programs using reachability
Author :
Kuo, Matthew ; Sinha, Roopak ; Roop, Partha
Author_Institution :
Dept. of Electr. & Comput. Eng., Univ. of Auckland, Auckland, New Zealand
Abstract :
Static computation of the worst-case reaction time (WCRT) is required for the real-time execution of synchronous programs. Existing approaches use model checking or integer linear programming. We formulate this as an abstraction-based reachability analysis yielding a lower worst case complexity. Benchmarking shows a significant overall speed-up of 64-times over existing approaches.
Keywords :
reachability analysis; WCRT analysis; abstraction-based reachability analysis; integer linear programming; model checking; synchronous programs; worst-case reaction time; Decoding; Instruction sets; Optimization; Real time systems; Robot sensing systems; Reachability; Synchronous; Worst Case Analysis;
Conference_Titel :
Design Automation Conference (DAC), 2011 48th ACM/EDAC/IEEE
Conference_Location :
New York, NY
Print_ISBN :
978-1-4503-0636-2
