You are required to read and agree to the below before accessing a full-text version of an article in the IDE article repository.

The full-text document you are about to access is subject to national and international copyright laws. In most cases (but not necessarily all) the consequence is that personal use is allowed given that the copyright owner is duly acknowledged and respected. All other use (typically) require an explicit permission (often in writing) by the copyright owner.

For the reports in this repository we specifically note that

  • the use of articles under IEEE copyright is governed by the IEEE copyright policy (available at http://www.ieee.org/web/publications/rights/copyrightpolicy.html)
  • the use of articles under ACM copyright is governed by the ACM copyright policy (available at http://www.acm.org/pubs/copyright_policy/)
  • technical reports and other articles issued by M‰lardalen University is free for personal use. For other use, the explicit consent of the authors is required
  • in other cases, please contact the copyright owner for detailed information

By accepting I agree to acknowledge and respect the rights of the copyright owner of the document I am about to access.

If you are in doubt, feel free to contact webmaster@ide.mdh.se

Static WCET Analysis of Task-Oriented Code for Construction Vehicles

Fulltext:


Authors:

Daniel Sehlberg

Publication Type:

Student Thesis

Abstract

When creating real time systems for embedded vehicle computers it is important to know how they will behave during the worst possible scenario. To know each task's WCET (Worst Case Execution Time) is a prerequisite for being able to know if their deadlines always will be met. A missed deadline in a real time system can lead to severe consequences.Volvo CE is using the Rubus real time operating system for their vehicles. Before Rubus is creating the task schedule, the user has to specify the period time, offset time and WCET for each task. The estimated WCET for each task is today based on measures from automatic tests or by experiences. However, it can not be guaranteed that these automatic tests have found the longest possible path through each task. This can result in a too low estimate of the WCET, which means that the behaviour of the system is unreliable.This thesis investigates if WCET analysis tool aiT can be used to find safe WCET estimates for the tasks in Volvo CE$(Bs (Bapplications, and how much user input is needed to get the result. Analysis results from aiT are compared to measured results and the WCET estimates used today.We have found that the times set in Rubus are in many cases greatly overestimated, and that Volvo CE would have good use of analyzing the tasks with aiT in order to get tighter WCETs. By giving annotations for the tool, the WCET estimates can become even tighter, but this also requires some manual work.

Bibtex

@mastersthesis{Sehlberg876,
author = {Daniel Sehlberg},
title = {Static WCET Analysis of Task-Oriented Code for Construction Vehicles},
month = {October},
year = {2005},
url = {http://www.es.mdu.se/publications/876-}
}