Research and Integration
- Cluster: Real-Time Components
- Cluster: Adaptive Real-Time
- Cluster: Compilers and Timing Analysis
- Cluster: Execution Platforms
- Cluster: Control for Embedded Systems
- Cluster: Testing and Verification
Research and Integration
ARTIST2 Research and Integration Activities
Real Time Components see detailscluster leader: Albert Benveniste (INRIA) | |||
| Development of UML for Real-time Embedded Systems | read more | Cluster Integration | François Terrier (CEA) |
| Component Modelling and Verification | read more | Platform | Susanne Graf (VERIMAG) |
Adaptive Real Time see detailscluster leader: Giorgio Buttazzo (Scuola Sant’Anna) | |||
| QoS aware Components | read more | NoE Integration | Alejandro Alonso (UP Madrid) |
| Flexible Resource Management for Real-time Systems | read more | Cluster Integration | Gerhard Fohler (University of Kaiserslautern) |
| Real-Time Languages | read more | Cluster Integration | Alan Burns (York University) |
| A Common Infrastructure for Adaptive Real-Time Systems | read more | Platform | Giorgio Buttazzo (Scuola Sant’Anna) |
Compilers and Timing Analysis see detailscluster leader: Reinhard Wilhelm (Saarland University) | |||
| Platform-based Code Optimization and Verification Platform | read more | Cluster Integration | Reinhard Wilhelm (Saarland University) |
| Timing Analysis Platform | read more | Platform | Reinhard Wilhelm (Saarland University) |
Execution Platforms see detailscluster leader: Lothar Thiele (ETHZ) | |||
| Resource-aware Design | read more | NoE Integration | Luca Benini (University of Bologna) |
| Communication-centric Systems | read more | Cluster Integration | Rolf Ernst (TU Braunschweig) |
| Design for Low Power | read more | Cluster Integration | Luca Benini (University of Bologna) |
| System Modelling Infrastructure | read more | Platform | Jan Madsen (TU Denmark) |
Control for Embedded Systems see detailscluster leader: Karl-Erik Arzen (Lund University) | |||
| Adaptive Real-time, HRT and Control | read more | NoE Integration | Karl-Erik Arzen(lund University) |
| Control in Real-time Computing | read more | Cluster Integration | Karl-Erik Arzen (Lund University) |
| Real-Time Techniques in Control System Implementations | read more | Cluster Integration | Alfons Crespo (UP Valencia) |
| Design Tools for Embedded Control | read more | Platform | Martin Torngren (UP Valencia) |
Testing and Verification see detailscluster leader: Kim Larsen (Aalborg University) | |||
| Quantitative Testing and Verification | read more | NoE Integration | Ed Brinksma (University of Twente) |
| Verification of Security Properties | read more | Cluster Integration | Sandro Etalle (University of Twente) |
| Testing and Verification Platform for Embedded Systems | read more | Platform | Kim Larsen (Aalborg University)] |
(c) Artist2 Consortium, All Rights Reserved - 2006