Comming PhD Courses
No.
Course name
Time
Contact person
Place
LIU1
NEW: Real-time operating systems
Spring year 2001, 2 nd period.
Jörgen Hansson
Linköping
MDH1
Formalisms, Algorithms and Tools in Formal Methods for Real-Time
spring 2002
Hans Hansson, Wang Yi
Västerås
LU2
NEW: Object-Oriented Real-Time Programming
spring 2002
Klas Nilsson
Lund
Planned or suggested PhD Courses
There is no planned start for these courses, please contact the contact person for more information.
No.
Course name
Possible time
Contact person
Place
KR1
Computer Clusters for Large Real-Time Systems
?
Lars Lundberg
Ronneby
KTH2
NEW: Models and modelling to support the Design of Embedded Real-time systems; specifically the Unified Modeling Language
Under development
Martin Törngren
Stockholm
HH1
Real Time Communication
Spring 2001 (March-May)
Magnus Jonsson
Halmstad
LIU2
NEW: Advances in real-time systems
?
Jörgen Hansson
Linköping
LIU3
NEW: Real-time databases
?
Jörgen Hansson
Linköping
LIU4
NEW: Formal methods for real-time computing
Autumn 2001/A 2002
Simin Nadjm-Tehrani
Linköping
LIU5
Hardware/Software codesign
2001
Zebo Peng
Linköping
LIU7
Design of embedded real-time systems
Spring/Autumn 2001?
Petru Eles, Simin Nadjm-Tehrani, Zebo Peng
Linköping
LU1
NEW: Implementation and Scheduling of Real-Time Control Systems
spring 2001 or 2002
Karl-Erik Årzén
Lund
MDH2
Component-based Software Engineering
Autumn 2001, Q4
Ivica Crnkovic
Västerås
UU1
NEW: Principles of Formal Methods for Distributed and Real-time Systems
?
Bengt Jonsson
Uppsala
