Skip to main content

ALL-TIMES – A European Project on Integrating Timing Technology

  • Conference paper
Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008)

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.

This work was supported by the EU FP7 project ALL-TIMES (Integrating European Timing Analysis Technology, grant agreement no. 215068).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. ALL-TIMES: Homepage (2008), http://www.all-times.org

  2. IBM: News Web page (April 2005), http://www.ibm.com/news/be/en/2005/05/3102.html

  3. ARTIST2: Timing-Analysis Cluster homepage (2008), http://www.artist-embedded.org/artist

  4. INTEREST: INTEREST (2008), http://www.interest-strep.eu/

  5. AUTOSAR: Homepage (2008), http://www.autosar.org/

  6. Mälardalen University: WCET project homepage (2008), http://www.mrtc.mdh.se/projects/wcet

  7. SATIrE: SATIrE homepage (2008), http://www.complang.tuwien.ac.at/markus/satire

  8. AbsInt: aiT tool homepage (2008), http://www.absint.com/ait

  9. Gliwa: homepage (2008), http://www.gliwa.com/e/home.html

  10. Symtavision: homepage (2008), http://www.symtavision.com/

  11. Rapita: RapiTime WCET tool homepage (2006), http://www.rapitasystems.com

  12. Prantl, A., Schordan, M., Knoop, J.: TuBound - a conceptually new tool for worst-case execution time analysis. In: Proceedings of the 8th International Workshop on Worst-Case Execution Time Analysis (July 2008)

    Google Scholar 

  13. Gustafsson, J., Ermedahl, A.: Experiences from applying WCET analysis in industrial settings. In: Proc. 10th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC 2007), Santorini Island, Greece (May 2007)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gustafsson, J. et al. (2008). ALL-TIMES – A European Project on Integrating Timing Technology. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. ISoLA 2008. Communications in Computer and Information Science, vol 17. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88479-8_31

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-88479-8_31

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-88478-1

  • Online ISBN: 978-3-540-88479-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics