ARTES research projects

1. Hardware-Software Co-Design of Real-Time Systems. #2
2. Incremental Iterative Static Scheduling. #3
3. Integrated Control and Scheduling. #7
4. Design of Heterogeneous Multiprocessor Systems for Real-Time Applications. A2-9805
5. Real-time software for versatility, scalability and reconfigusability in complex embedded feedback control systems. A4-9805
6. A tool environment for the development of embedded systems. A6-9805
7. TATOO-Test and testability of distributed real-time systems. A7-9805 (see also 0005-07)
8. Applications of wait/lock-free protocols to real-time systems A8-9805
9. Automatic Control in Distributed Applications (AIDA 2). 9811-2
10. Identification of Complexity-Reduction Techniques for Optimal Scheduling in Embedded Distributed Real-Time Systems. 9811-3
11. Node-level Fault Tolerance for Fixed Priority Scheduling. 9811-4
12. Hierarchical Design and Analysis of Timed Systems. 9811-5
13. New directions in Symbolic Model Checkning for Real-Time Systems. 9811-6
14. Real-time Mobile Communication. 9905-8
15. Flexible reliable timing constraints. 9905-1
16. Methods for Integration of Heterogeneous Real-Time Services into High-Performance Networks. 9905-7
17. Testing of Event-Triggered Real-Time Systems. 9905-11
18. Functional Integration and Interference in Embedded Control Systems. 9905-13
19. Distributed Real-Time Systems with Minimal Energy Consumption: Analysis and Synthesis 0005-05
20. TATOO Test And Testability Of Distributed Real-time Systems 0005-07
21. Switched Real-Time Communication for Industrial Applications 0005-16
22. Pre-Implementation Analysis of Distributed Control Systems - PICADOR 0005-18
23. RATAD, Reliability And Timing Analysis of Distributed systems 0005-19
24. Extension of Project “Flexible Reliable Timing Constraints” 0005-20
25. Real-Time Responce and Control of Autonomous Agents 0005-22
26. Embedded Databases for Embedded Real-Time Systems 0005-23