Monday |
10.00 |
Bus to Sundbyholm Castle leave from railway station in Eskilstuna |
11.00 |
- Welcome
- Hans Hansson
- Simulation Concepts to Model Real-Time and Dependability Properties of Symmetric Multiprocessor Systems
- Lars Albertsson
- Identification of Complexity-Reduction Techniques for Optimal Scheduling in Embedded Distributed Real-Time Systems
- Jan Jonsson, Cecila Ekelin
- Node-level Fault Tolerance for Fixed Priority Scheduling
- Johan Karlsson, Joakim Aidemark
|
12.00 |
Lunch break |
13.10 |
Vad är entreprenörskap och hur kan man stimulera det?
Magnus Klofsten |
14.40 |
TATOO-Test and testability of distributed real-time systems
Henrik Thane |
15.20 |
Break |
15.40 |
Applications of wait/lock-free protocols to real-time systems
Philippas Tsigas, Håkan Sundell |
16.20 |
New directions in Symbolic Model Checkning for Real-TimeSystems
Julien D'Orso, Parosh Abdulla |
17.00 |
Hardware-Software Co-Design of Real-Time Systems
Paul Pop, Zebo Peng |
17.10 |
Real-time software for versatility, scalability and reconfigusability in complex embedded feedback control systems
Chen de Jiu, Jan Wikander |
17.20 |
Integrated Control and Scheduling
Anton Cervin, Patrik Persson, Karl-Erik Årzén, Klas Nilsson |
17.40 |
End of session |
18.00 |
Dinner |
|
|
Tuesday |
Programme for the SNART seminar, Tuesday 22/8
|
08.30 |
SIGURT RT - undervisning i RT på tekniska högskolor och universitet.
Rekapitulering från första SIGURT mötet, presentationer, ideer, och
vad som åstadkommits. Hur går vi vidare, diskussion och planering av
framtida aktiviteter.
|
10.10 | Presentation of best master thesis, 2000 by Erik Wyke:
"Investigation of models for real-time systems: AIDA through UML and ROOM"
|
| Ericsson and real-time! 10.30 - 15.30
|
10.30 | Introduction: Ericsson realtime competence needs in general
|
11.00 | Overview of telecom networks and the evolution into wireless
IP-based multimedia
|
11.45 | Lunch
|
12.45 | TelORB: design for performance (transaction processing, reliability)
|
13.30 | The mobile phone: realtime design with challenging constraints:
power, size, weight, mass market reliability, ...
|
14.15 | Managing a realtime network: to realize the potential performance,
the system must be designed so that it can be observed, tuned and upgraded, too. In continuous operation!
|
15.00 | Coffee
|
15.30 | The buy vs build: trading performance for time to market.
|
16.15 | Summary, roundoff
|
16.30 | SNART meeting - SNARTs årsmöte.
|
18.00 | Dinner
|
|
|
Wednesday |
08.00 |
Overview of techniques for formal Verification of Infinite-State
Concurrent systems
Bengt Jonson, Parosh Abdulla |
09.00 |
ARTES discussion introduction
- Future, Clusters, Real Time courses.....
- Hans Hansson
- Benchmark
- Jakob Engblom
|
09.30 |
Coffe |
10.00 |
Kvinnor och män i organisationer
Minna Salminen-Karlsson |
11.00 |
Discussion groups
|
12.00 |
Lunch break |
13.00 |
Discussion groups
|
13.20 |
Summing up discussions in large group
|
14.00 |
Social activities |
18.00 |
Dinner |
19.30 |
Board meeting |
|
|
Thursday |
07.00 |
ARTES board and a few other persons will go to SSF for ARTES Mid-term evaluation |
08.00 |
Workshop RT communication |
12.00 |
Lunch break |
13.00 |
Workshop RT communication |
19.00 |
Conference dinner |
|
|
Friday |
08.00 |
Workshop RT communication |
12.00 |
Lunch break |
13.00 |
Workshop RT communication |
15.00 |
End of conference |