The problem of determining the Worse Case Execution Time (WCET) of a piece of code is a fundamental one in the Real Time Systems community. Existing methods either try to gain this information by analysis of the program code or by running extensive timing analyses. This paper presents a new approach to the problem based on using Machine Learning in the form of ILP to infer program properties based on sample executions of the code. Additionally, significant improvements in the range of functions learnable and the time taken for learning can be made by the application of more advanced ILP techniques.

BibTex Entry

@inproceedings{Bartlett2008,
 address = {Prague, Czech Republic},
 author = {Mark Bartlett and Iain Bate and Dimitar Kazakov},
 booktitle = {Proceedings of Inductive Logic Programming, 18th International Conference, ILP 2008},
 editor = {Filip elezn and Nada Lavrač},
 pages = {42-58},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 title = {Challenges in Relational Learning for Real Time Systems Applications},
 volume = {5194},
 year = {2008}
}