ARTES
-------------------------------------------------

 

ARTES Summerschool
August 21-25, 2000
with SNART meeting and
Real-Time Communication Workshop

Programme

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.10Presentation 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

To the Schedule and main Summerschool page.

  ---------------------line----------------------------
  Strategic Research