Markus Schordan, TU Wien
The ALL-TIMES project aims at combining and developing research results and timing tools currently available and thus to strengthen the European lead in the timing analysis area. The ALL-TIMES project will enable interoperability of tools from SMEs and universities, and develop integrated tool chains using open tool frameworks and interfaces. By combining research results and commercial tools, ALL-TIMES will ensure the flow of ideas from basic research to practice.
ALL-TIMES will strengthen the competitiveness of several key industries in Europe, most notably the automotive and aerospace areas (where partial awareness already exists, providing a good starting point). Beyond these industries, automation, manufacturing, robotics, medical, communication, and multimedia are markets where timing is important. These industries will also be able to benefit from the project results as their awareness grows.
Partners:The ARTIST2 Network of Excellence on Embedded Systems Design is an EU project, running since September 2004 with a duration of 48 months; I am member of the cluster Compilers and Timing Analysis in the acitivity Platform-based Code Optimization and Verification Platform.
My major goal in this project is to provide an infrastructure for
specifying static program analyses embedded system codes written in C/C++. In
particular it is interesting to automatically detect certain
programming techniques, as they are or will be used for programming
embedded processors. During my work on this project we have succeeded
in integrating the
Based on that work we also develop program analyses for procedural and object-oriented programming languages. We also use this infrastructure for teaching program analysis as it is used in optimizing compilers.
LLNL-ROSE is a source-to-source compiler infrastructure project at Lawrence Livermore National Laboratory (LLNL), U.S.A, funded by the National Science Fund; I started to work on LLNL-ROSE as a Post-Doc at LLNL 2001-2003, und continued to work on ROSE as collaborator since 2004.
LLNL-ROSE is a project to define a new type of compiler technology which allows compilation techniques to address the optimization of user-defined abstractions. Due to the nature of the solutions that are provided, it is also an open compiler infrastructure that can be used for a wide number of other purposes such as code instrumentation, software metrics, code slicing, and in particular for building source-to-source optimizers.
LLNL-ROSE is actively used by the following institutions