Mälardalens högskolas logotyp
Mälardalens Högskola Logga

Text

Programmeringsspråk

Timing Analysis on Code-Level

The goal of this COST Action is to gather forces in order to develop industrial-strength code-level timing analysis techniques for future-generation embedded systems.

Avslutat

Projektets webbplats

Start

2013-03-01

Avslut

2017-02-28

Huvudfinansiering

European Research Council

Samarbetspartners

Aalborg University, INRIA / IRISA, Instituto Superior de Engenharia do Porto, KTH Royal Institute of Technology, Technical University of Denmark, Technische Universität Dortmund, Technische Universität Wien, The Polytechnic Institute of Porto, The University of Padua, Universität des Saarlandes, University of Turku, Finland, University of York, Uppsala University, Vrije Universiteit Amsterdam, Netherlands, AbsInt Angewandte Informatik GmbH, Tidorum.

Forskargrupp

Projektansvarig vid MDH

Professor i datateknik / Docent

Björn Lisper

021-15 17 09

bjorn.lisper@mdh.se

Description of the project

Embedded systems increasingly permeate our daily lives. Many of those systems are business- or safety-critical, with strict timing requirements. Code-level timing analysis (used to analyse software running on some given hardware w.r.t. its timing properties) is an indispensable technique for ascertaining whether or not these requirements are met. However, recent developments in hardware, especially multi-core processors, and in software organisation render analysis increasingly more difficult, thus challenging the evolution of timing analysis techniques. New principles for building "timing-composable" embedded systems are needed in order to make timing analysis tractable in the future. This requires improved contacts within the timing analysis community, as well as with related communities dealing with other forms of analysis such as model-checking and type- inference, and with computer architectures and compilers. The goal of this COST Action is to gather these forces in order to develop industrial-strength code-level timing analysis techniques for future-generation embedded systems.

A COST Action is a kind of European research network. COST Actions coordinate and enhance national research, and they support networking activities like meetings, wotkshops, summer schools, and exchanges of junior researchers.

Till toppen