DocumentCode :
2733311
Title :
Environment Modelling for Tighter Timing Analysis of Synchronous Programs
Author :
Andalam, Sidharta ; Sinha, Roopak ; Roop, Partha S.
Author_Institution :
Dept. of Electr. & Comput. Eng., Univ. of Auckland, Auckland, New Zealand
fYear :
2011
fDate :
17-19 Jan. 2011
Firstpage :
150
Lastpage :
155
Abstract :
Static timing analysis of a hard real-time application is necessary to ensure that task-level timing deadlines are always met. In many cases, it is preferable to include details about the operating environment to ensure precise timing analysis. However, adding an environment model increases the overall state space being analyzed, which can result in longer analysis time. In this paper, we present three approaches for modelling the environment. The first approach, which uses variables, provides precise timing results but causes state space explosion. This tremendously increases analysis time. The second approach, which uses real-valued clocks, provides an abstraction over variables that helps reduce the analysis time, when we trade-off precision. A third approach, based on a heuristic, uses a combination of both variables and clocks, and can optimize the state space while achieving precise timing results. Experimental results show that the proposed heuristic achieves a 91% reduction in the state-space as compared to using variables, while maintaining the same precision.
Keywords :
formal verification; programming; real-time systems; environment modelling; real time analysis; real valued clock; state space explosion; static timing analysis; synchronous program; Analytical models; Benchmark testing; Clocks; Computational modeling; Real time systems; Timing; Upper bound; Environment Modelling; Static Timing Analysis; Synchronous Languages;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Electronic Design, Test and Application (DELTA), 2011 Sixth IEEE International Symposium on
Conference_Location :
Queenstown
Print_ISBN :
978-1-4244-9357-9
Type :
conf
DOI :
10.1109/DELTA.2011.35
Filename :
5729557
Link To Document :
بازگشت