DRAFT JTRES 2006 Program

8 August 2006

 

October 11th  Wednesday AM

      8:30-9:15 Registration

      9:15 – 9:30 Welcome and Announcements: Andy Wellings

      9:30 – 10:30:

Session 1: The Current State of the RTSJ

Chair : Andy Wellings

Invited: Peter Dibble, TimeSys, USA

The Current Status of RTSJ and JSR 282

Invited: Doug Jensen, The Mitre Corporation, USA

Distributed RTSJ Status Report

      10:30 – 11:00 :  COFFEE

      11:00-12:30

Session 2: RTSJ Issues

Chair: Greg Bollella

Formal Analysis of Aperiodic and Sporadic Realtime Threads in the RTSJ, Osmar Marcho dos Santos, University of York, UK

Model-based Verification of a Framework  for Flexible Scheduling in the Real-Time Specification for Java, Alex Zerzelidis, University of York, UK

ExtendedPortal: Violating the assignment rule and enforcing the single parent one , Pablo Basanta-Val, Universidad Carlos III de Madrid, Spain

 

      12:30 – 13:30:  LUNCH

 

October 11th  Wednesday PM

        13:30- 15:00

                  Session 3: Hardware Implementations 1:

Chair: Martin Schoeberl

A Ravenscar-Java Profile Implementation, Han Søndergaard, Vitus Bering, Denmark

A Cache-Based Stack Folding Technique for High Performance Java Processors, Isidoros Sideris, National Technical University of Athens, Greece

A Co-Design Strategy for Embedded Java Applications Based on Hardware Interface with Invocation Semantics , Andrew Borg, University of York

       15:00 – 15:30   TEA

        15:30 – 17:00 

Session 4:  Memory Management

Chair: Angelo Corsaro

A Comparison of Memory Allocators for  RealTime Applications, Miguel Masmano, Universidad Politécnica de Valencia, Spain

Exact Roots for a Real-Time Garbage Collector , Ramus Pedersen,  Copenhagen Business School,  Denmark

Low Memory Overhead Real-Time Garbage Collection in Java, Yang Chang, University of York, UK

 

October 12th Thursday AM

       9:00 – 10.30

                Session 5: Safety Critical Systems :

Chair: TBD

Invited Paper: Doug Locke, The Open Group

JSR 302 Safety Critical Java

A Type System to Assure Scope Safety of Safety Critical Systems, Kelvin Nilsen, Aonix , USA

A Case Study of Specification and Verification using JML in an Avionics Application , Peter Schmitt, Universität Karlsruhe, Germany

 

       10:30 – 11:00  COFFEE

 

       11:00 -12:30

Session 6: The HIJA Project: 1

Chair: Tullio Vardanega

Invited Paper: Antonio Kung, Trialog, France:

The HIJA Project

Safety Critical Applications and Hard Real-Time Profile for Java: A Case Study in Avionics, Eric Jenn, Thales Avionics, France

Flexible Java Real-Time Profile for Business Critical Systems , Alejandro Alonso, Universidad Politécnica de Madrid, Spain

 

       12:30 – 13:30:

LUNCH

October 12th Thursday PM

       13:30- 15:00:

Session 7:  The HIJA Project: 2

Chair: TBD

Issues in Building an ANRT Platform, Antonio Kung, Trialog, France

Proving the Absence of RTSJ Related Runtime Errors through Data Flow Analysis , Fridtjof Siebert, aicas GmbH, Germany

Provably Correct Loops Bounds for Realtime Java Programs , James Hunt, , aicas GmbH, Germany

       15:00 – 15:30  TEA

       15:30 – 17:00

Session 8: Overflow Session

Chair: TBD

Jelatine: A Virtual Machine for Small Embedded Systems , Giampaolo Agosta

Implementation of Time Petri Nets  in Real-Time Java, Ramon Moreno, Politecnico di Milano, Italy

An Execution Overrun Management Mechanism for the Temporal Robustness of Java Real-Time systems, Lamine Bougueroua, Esigetel, France

 

 

 

October 13th Friday AM

       9:00 – 10.30 

Session 9:  Hardware Implementation 2

Chair: Andrew Borg

Global Instruction Scheduling in Dynamic Compilation for Embedded Systems, Martino Sykora, Politecnico di Milano, Italy

WCET Analyis for a Java Processor, Martin Schoeberl, Technical University of Vienna, Austria

JIT Compiler Optimizations for Stack based Processors in Embedded Platforms, Giuseppe Di Giore, ST Microelectronics, Italy

      10:30 – 11:00  COFFEE

       11-12:00

Session 10: Real-Time Paradigms

Chair:

Applying the CBSE Paradigm in the Real-Time Specification for Java , Jean-Paul Etienne, CNAM, France

TheReactive Programming Approach on Top of Java/J2M3, Jean-Ferdie Susini, CNAM, France

 

        12:00:12:15 

Closing Remarks: Andy Wellings

                                Next JTRES: Location???

 

DEPART