%0 Journal Article %1 symbolicWCET2000 %A Bernat, Guillem %A Burns, Alan %B 25th IFAC Workshop on Real-Time Programming %D 2000 %K WCET mgr symbolic todo_tags %T An Approach To Symbolic Worst-Case Execution Time Analysis %U http://www-users.cs.york.ac.uk/~bernat/ftp/wrtp00.ps %V 25 %X Using the constant value for the worst case execution time for all calls to a subprogram is safe but pessimistic. We address the problem of tailoring the WCET of each call to a subprogram by building the WCET as an algebraic expression parameterised with some of the subprogram parameters. The WCET of each call may then be constrained to particular ranges of values that lead to tighter WCET. The technique relies on the power of computational algebra systems to perform sophisticated simplifications and evaluation of the intermediate expressions. The same approach also allows to obtain tighter estimations of nested loop iterations which may also be tailored for different execution calls. This approach requires the description of the non-functional behaviour of the code with annotations included as specially formatted comments.

@article{symbolicWCET2000, abstract = {Using the constant value for the worst case execution time for all calls to a subprogram is safe but pessimistic. We address the problem of tailoring the WCET of each call to a subprogram by building the WCET as an algebraic expression parameterised with some of the subprogram parameters. The WCET of each call may then be constrained to particular ranges of values that lead to tighter WCET. The technique relies on the power of computational algebra systems to perform sophisticated simplifications and evaluation of the intermediate expressions. The same approach also allows to obtain tighter estimations of nested loop iterations which may also be tailored for different execution calls. This approach requires the description of the non-functional behaviour of the code with annotations included as specially formatted comments.}, added-at = {2009-07-16T13:27:17.000+0200}, author = {Bernat, Guillem and Burns, Alan}, biburl = {https://www.bibsonomy.org/bibtex/2c35dec073dbbce57d38fc3adee101997/gwpl}, booktitle = {25th IFAC Workshop on Real-Time Programming}, interhash = {5e16da9b16e4cebbf49bb030cc3119c3}, intrahash = {c35dec073dbbce57d38fc3adee101997}, keywords = {WCET mgr symbolic todo_tags}, note = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.2148 Copyright c 2000 IFAC Keywords: Real-time, timing-analysis. 1. }, timestamp = {2009-07-16T13:27:25.000+0200}, title = {An Approach To Symbolic Worst-Case Execution Time Analysis}, url = {http://www-users.cs.york.ac.uk/~bernat/ftp/wrtp00.ps}, volume = 25, year = 2000 }