Unibo Team Leader: Prof. Luca Benini, Dip. di Ingegneria dell'Energia Elettrica e dell'Informazione "Guglielmo Marconi" – DEI
The project proposal is concerned with embedded systems that are characterized by efficiency requirements such as average-case performance, resource utilization, and power consumption on the one hand and worst-case constraints on the other. This combination of requirements typically occurs in application domains such as automotive, aeronautics, multi-media and industrial automation. Embedded systems with critical constraints need offline guarantees for the satisfaction of these constraints. Unfortunately, it can be observed that in computer system design the gap between average case and worst-case behaviour increases rapidly. This entails a decreasing precision of performance-analysis results, even for combination of the strongest analyses available. Therefore, a new research and design discipline is proposed that looks at predictability and efficiency in a synergistic manner and that involves all levels of abstraction and implementation in embedded-system design. This paradigm shift overcomes the tendency to either optimise efficiency only or predictability only in favour of an approach that takes into account the multi-objective nature of the problem.
The proposed approach consists of a combination of several methods, i.e.
(a) design-space exploration on the hardware architecture level to identify good designs offering combinations of strong performance with good predictability,
(b) a synergistic development of models, design methods and matching analysis tools that extract precise system-behaviour properties, and
(c) a transformation of the established separation-of-concerns abstraction principle into a new principle, resource-aware abstraction.
Partners from the automotive and aeronautics domains pose design challenges based on experience in the design of time-critical embedded systems. These challenges will be taken up by the academic partners. Prototype architectures, design methods and analysis tools will be developed to solve the challenges
Coordinator
UNIVERSITAET DES SAARLANDES (Germany)
Other Participants
UNIVERSITAET DORTMUND (Germany)
ROBERT BOSCH GMBH (Germany)
ALMA MATER STUDIORUM-UNIVERSITA DI BOLOGNA
- Dip. di Ingegneria dell'Energia Elettrica e dell'Informazione "Guglielmo Marconi" – DEI
- Resp. scientifico: Prof. Luca Benini
EIDGENOESSISCHE TECHNISCHE HOCHSCHULE ZUERICH (Swizerland)
AIRBUS FRANCE SAS (France)
SCUOLA SUPERIORE DI STUDI UNIVERSITARI E DI PERFEZIONAMENTO SANT'ANNA (Italy)
ABSINT ANGEWANDTE INFORMATIK GMBH (Germany)
Start date 01/02/2008
End date 31/01/2011
Duration 36 months
Project cost 3926305 Euro
Project Funding 2799991 Euro
Subprogramme Area Embedded Systems Design
Contract type Collaborative project (generic)