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.
A Simple and Flexible Timing Constraint Logic (Oct 2012) Björn Lisper, Johan Nordlander Proc. 5th International Symposium on Leveraging Applications of Formal Methods (ISOLA12)
Automatic Generation of Timing Models for Timing Analysis of High-Level Code (Sep 2011) Peter Altenbernd , Andreas Ermedahl, Björn Lisper, Jan Gustafsson Proc. 19th International Conference on Real-Time and Network Systems (RTNS2011)
Deriving WCET Bounds by Abstract Execution (Jul 2011) Andreas Ermedahl, Jan Gustafsson, Björn Lisper Proc. 11th International Workshop on Worst-Case Execution Time (WCET) Analysis (WCET 2011)