Editing Worst-case execution time (section)

=== WCET Tool Challenge ===

The first international WCET Tool Challenge took place during the autumn of 2006. It was organized by the [[Mälardalen University|University of Mälardalen]] and sponsored by the ARTIST2 Network of Excellence on Embedded Systems Design. The aim of the Challenge was to inspect and to compare different approaches in analyzing the worst-case execution time. All available tools and prototypes able to determine safe upper bounds for the WCET of tasks have participated. The final results<ref>{{Cite web |url=http://rw4.cs.uni-sb.de/~lili/papers/WCETToolChallengep_Extl.pdf |title=Archived copy |access-date=2010-08-15 |archive-url=https://web.archive.org/web/20111001132946/http://rw4.cs.uni-sb.de/~lili/papers/WCETToolChallengep_Extl.pdf |archive-date=2011-10-01 |url-status=dead }}</ref> were presented in November 2006 at the [[International Symposium On Leveraging Applications of Formal Methods, Verification and Validation|ISoLA 2006]] International Symposium in [[Paphos]], Cyprus.

A second Challenge took place in 2008.<ref>{{Cite web |url=http://www.mrtc.mdh.se/projects/WCC08/ |title=WCET Challenge 2008 |access-date=2008-08-16 |archive-url=https://web.archive.org/web/20120216074808/http://www.mrtc.mdh.se/projects/WCC08/ |archive-date=2012-02-16 |url-status=dead }}</ref>