Final JTRES 2011 Programme

Monday 26th September

09:00 – 09:45 Registration

09:45 – 10:00 Welcome

10:00 – 11:00 Invited Speaker: Chair Andy Wellings

Alan Burns:

Multiprocessor Scheduling
What we know, what we know we don’t know, and the rest

11:00 – 11:30 Tea/Coffee

11:30 – 12:30 Session 1: Resource sharing: Chair Kelvin Nilsen

 Fadi Meawad, Karthik Iyer, Martin Schoeberl and Jan Vitek: Real-Time Wait-free Queues using Micro-Transactions

 Andy Wellings, Charlie Lin and Alan Burns: Resource Sharing in RTSJ and SCJ Systems

12:30 – 13:30 Lunch

13:30 – 15:00 Session 2: Analysis and synthesis techniques: Chair Martin Schoeberl

 Ana Cavalcanti, Andy Wellings, Jim Woodcock, Kun Wei and Frank Zeyda:
Safety-Critical Java in Circus

 Christian Frost, Casper Jensen, Kasper Luckow and Bent Thomsen:
WCET Analysis of Java Bytecode Featuring Common Execution Environments

 Ghaith Haddad and Gary T. Leavens:
Specifying Subtypes in SCJ Programs

15:00 – 15:30 Tea/Coffee

15:30 – 16:30 Invited Speaker: Chair Anders Ravn

Kim Larsen:

Timing and Performance Analysis of Embedded Software Systems Using Model Checking

16:30 – 17:30 Panel 1: Chair: Anders Ravn, with Alan Burns, Kim Larsen and Andrew Winkler

 Are languages superfluous when we can synthesis directly from high-level models?

18:30 – 19:45 Tour of Viking Museum

Tuesday 27th September

09:00 – 10:30 Session 3: Memory Management: Chair: Fridjotf Siebert

 Martin Schoeberl:
Memory Management for Safety-Critical Java

 Kelvin Nilsen:
Harmonizing Alternative Approaches to Safety-Critical Development with Java

 Wolfgang Puffitsch:
Hard Real-Time Garbage Collection for a Java Chip Multi-Processor

10:30 – 11:00 Tea/Coffee

11:00 – 12:30 Invited Speaker: Chair: Kelvin Nilsen

Andrew Winkler:

Modernization of the Aegis Fleet and the Application of Java in Aegis Weapon Control.

12:30 – 13:30 Lunch

13:30 – 15:00 Session 4: Real-time programming constructs: Chair: Frank Zeyda

 Andy Wellings and Martin Schoeberl:
User-Defined Clocks in the Real-Time Specification for Java

 Cláudio Maia, Luís Nogueira and Luis Miguel Pinho:
Combining RTSJ with Fork/Join: A Priority-based Model

 Isabella Thomm, Michael Stilkerich, Rüdiger Kapitza, Daniel Lohmann and Wolfgang Schröder-Preikschat :
Automated Appliance of Fault-Tolerance Mechanisms in the KESO JVM

15:00 – 15:30 Tea/Coffee

15:30 – 16:30 Session 5 Case Studies: Chair: Ana Calvalcanti

 Christoph Erhardt, Michael Stilkerich, Daniel Lohmann and Wolfgang Schröder-Preikschat:
Exploiting Static Application Knowledge in a Java Compiler for Embedded Systems: A Case Study

 Tobias Schoofs and Frederic Lamy:
Industry Use Cases for the Java Environment for Parallel Real-time Development

16:30 – 17:30 Panel 2: Chair Andy Wellings, with Kelvin Nilsen and Martin Schoelberl

Real-Time Java: Current Status and Future Directions
JSR 302/282/JSR 50 Discussions

19:45 – 22:00 Workshop Dinner

Wednesday 28th September

09:30 – 10:30 Session 6: Lean Machines: Chair Teresa Higuero Toledanao

 Stephan Korsholm:
Flash memory in embedded Java programs

 James Caska and Martin Schoeberl:
Java Dust: How Small Can Embedded Java Be?

10:30 – 11:00 Tea/Coffee

11:00 – 12:00 Panel 3. Chair: Anders Ravn

Where are the fruitful research directions for JTRES topics?

12:00 – 12:15 Workshop Close/Next Workshop

Réalisation Axome - Création de sites Internet