| 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 |
