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

ALL-TIMES - A European Project on Integrating Timing Technology

Fulltext:


Authors:

Jan Gustafsson, Björn Lisper, Markus Schordan , Christian Ferdinand , Marek Jersak , Guillem Bernat

Research group:


Publication Type:

Conference/Workshop Paper

Venue:

Proc. Third International Symposium on Leveraging Applications of Formal Methods (ISOLA08)

Publisher:

Springer


Abstract

ALL-TIMES is a research project within the EC 7th Framework Programme. The project concerns embedded systems that are subject to safety, availability, reliability, and performance requirements. Increasingly, these requirements relate to correct timing. Consequently, the need for appropriate timing analysis methods and tools is growing rapidly. An increasing number of sophisticated and technically mature timing analysis tools and methods are becoming available commercially and in academia. However, tools and methods have historically been developed in isolation, and the potential users are missing a process-related and continuous tool- and methodology-support. Due to this fragmentation, the timing analysis tool landscape does not yet fully exploit its potential.The ALL-TIMES project aims at: combining independent research results into a consistent methodology, integrating available timing tools into a single framework, and developing new timing analysis methods and tools where appropriate.ALL-TIMES will enable interoperability of the various tools from leading commercial vendors and universities alike, and develop integrated tool chains using as well as creating open tool frameworks and interfaces. In order to evaluate the tool integrations, a number of industrial case studies will be performed.This paper describes the aims of the ALL-TIMES project, the partners, and the planned work.

Bibtex

@inproceedings{Gustafsson1331,
author = {Jan Gustafsson and Bj{\"o}rn Lisper and Markus Schordan and Christian Ferdinand and Marek Jersak and Guillem Bernat},
title = {ALL-TIMES - A European Project on Integrating Timing Technology},
editor = {Tiziana Margaria and Bernhard Steffen},
pages = {445--459},
month = {October},
year = {2008},
booktitle = {Proc. Third International Symposium on Leveraging Applications of Formal Methods (ISOLA08)},
publisher = {Springer},
url = {http://www.es.mdu.se/publications/1331-}
}