Logotype Mälardalenn University

MRTC research projects



TIMMO-2-USE

Leader: Björn Lisper
Members: Björn Lisper
Research group:Programming Languages
Status: finished , start date: 2010-10-01 , End date: 2012-09-30
Partners: AbsInt Angewandte Informatik GmbH
Arcticus Systems AB
Chalmers University of Technology
Continental Automotive GmbH
Delphi France SAS
dSPACE GmbH
INCHRON GmbH
INRIA
Mälardalen University
Rapita Systems Ltd.
RealTime-at-Work
Robert Bosch GmbH
Symtavision GmbH
Technische Universität Braunschweig
Universität Paderborn
Volvo Technology AB
Funding: VINNOVA
Web: Project web page

 

Overview

TIMMO-2-USE aims at increasing the efficiency and accuracy in handling timing-related issues in the complex development of automotive real-time embedded systems. TIMMO-2-USE stands for TIMing MOdel - TOols, algorithms, languages, methodology, and USE cases which summarizes the main objectives of the project, i.e., the development of novel tools, algorithms, languages, and a methodology validated by use cases. TIMMO-2-USE is an ITEA2 project (ITEA 2 project 09033) with 17 partners from France, Germany, and Sweden. The project started in October 2010 and has a duration of 2 years. The project is funded by the national agencies of France, Germany and Sweden.

Network-based electronic systems in today’s vehicles are of big and increasing complexity. Mastering different types of timing constraints and behaviour in the AUTOSAR-based supply chain of the complex development process is of crucial importance when designing distributed real-time automotive systems. On the one hand this requires an adequate transition of timing information in the complete development process throughout the different abstraction levels. On the other hand, an efficient exchange of timing information is necessary between different tools and between different roles in the overall tool and supply chain, e.g., between OEM and Tier-1 suppliers.

TIMMO-2-USE will address the specification, transition and exchange of different types of timing information throughout different steps of the development process. The general goal is to evaluate and enhance standards for different applications in the development by different technical use cases covering multiple abstraction levels and tools. For this, TIMMO-2-USE will bring the AUTOSAR standard and EASTADL2 into different applications like WCET analysis and in-the-loop scenarios. This will bring new algorithms and tools for the transition and conversion of timing information between different tools and abstraction level based on a new advanced methodology which, in turn, will be based on a combination of the TIMMO and the ATESST2 methodologies.

 

Latest project publications [ Show all publications ]


A Simple and Flexible Timing Constraint Logic, Björn Lisper, Johan Nordlander (Luleå University of Technology), Proc. 5th International Symposium on Leveraging Applications of Formal Methods (ISOLA'12), Springer-Verlag, Heraclion, Crete, Editor(s):Tiziana Margaria and Bernhard Steffen, October, 2012

Automatic Generation of Timing Models for Timing Analysis of High-Level Code, Peter Altenbernd (external), Andreas Ermedahl (former), Björn Lisper, Jan Gustafsson, Proc. 19th International Conference on Real-Time and Network Systems (RTNS2011), p TBD, The IRCCyN lab., Nantes, France, Editor(s):Sébastien Faucou, September, 2011

Deriving WCET Bounds by Abstract Execution, Andreas Ermedahl (former), Jan Gustafsson, Björn Lisper, Proc. 11th International Workshop on Worst-Case Execution Time (WCET) Analysis (WCET 2011), Austrian Computer Society (OCG), Porto, Portugal, Editor(s):Chris Healy, July, 2011



  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2012.08.24