Home | Submissions | Program | Contact

The 3rd Workshop on Java Technologies for Real-time and Embedded Systems

OOPSLA 2005

17 October 2005
San Diego, California, USA


::Schedule::
8:45 Welcome
9:00 Invited talk
Java for Large Distributed Real-Time Systems
En-Kuan Lung (Raytheon)
Given that Java has now become the programming language of choice for many software engineers, and that some have already had success in applying Java to small embedded real-time systems, it is just a matter of time when serious attempts are made to use Java on large real-time systems. With both Sun and IBM developing virtual machines that complies with the Real-Time Specification for Java (RTSJ), and many other vendors joining the real-time Java ecosystem, the time is right to take Java to the world of large and distributed real-time systems. This presentation will look at the approach Raytheon took to introduce real-time Java to a large real-time project and share some of the lesson learned.
10:00 Break
10:20

Design and implementation of the Ovm RTSJ VM: an experience report
Jason Baker, Krista Bennet, Antonio Cunei, Chapman Flack, Christian Grothoff, David Holmes, Andrey Madan, Gergana Markova, Jeremy Manson, Krzystof Palacz, Filip Pizlo, Marek Prochazka, Jacques Thomas, Hiroshi Yamauchi, Jan Vitek (Purdue University)
A Simulation Based Model Checker for Real Time Java
Gary Lindstrom (University of Utah), Peter C. Mehlitz, Willem Visser (NASA Ames Research Center)
A High Integrity Profile for Memory Safe Programming in Real-time Java
Alex Potanin, James Noble, (Victoria University of Wellington) Tian Zhao, (University of Wisconsin–Milwaukee), Jan Vitek (Purdue)
Checking Timeliness Correctness At Runtime using Real-Time Java
Usa Sammapun, Insup Lee, and Oleg Sokolsky (University of Pennsylvania)

12:00 Lunch
13:00

Schedulable Persistence System for Real-Time Embedded Applications in CLI
Okehee Goh, Yann-Hang Lee (Arizona State University), Ziad Kaakani (Honeywell International Inc)
Techniques for Real-Time Checkpointing
Antonio Cunei, Jan Vitek (Purdue University)
Java Garbage Collection Scheduling in Utility Accrual Scheduling Environments
Shahrooz Feizabadi, Godmar Back (Virginia Tech)
First In, First Out Memory
Filip Pizlo (Purdue University)

3:00 Break
3:20

Making Real-Time Abstractions Concrete with Aspects
Celina Gibbs and Yvonne Coady (University of Victoria)
Toward Automatic Performance Visualization of Distributed Real-Time Systems
Trevor Harmon and Raymond Klefstad (University of California, Irvine)
Real-Time Communication with Direct Publish/Subscribe Event Service
Marc Schanne (FZI)

5:00

Pannel: Real-time Java for High Integrity Applications
David Bacon (IBM)
James Hunt (Aicas)
Doug Wells (Open Group)

18:00 Discussion and close

 

::Motivation::

Over 90 percent of all microprocessors are now used for real-time and embedded applications, and the behavior of many of these applications is constrained by the physical world. Designing real-time and embedded systems that implement their required capabilities, are dependable and predictable, and are parsimonious in their use of limited computing resources is hard; building them on time and within budget is even harder. It is therefore essential that the production of real-time embedded systems can take advantage of languages, tools, and methods that enable higher software productivity.

Ideally, developers should use a programming language that shields them from many complexities, such as type errors, memory management and that allow them to express the desired application structure in a convenient way -- such as supporting periodic tasks or sporadic events in the language. The Java programming language has become an attractive choice because of advantages such as safety, productivity, low maintenance costs, and availability of well trained developers. But, to meet real-time constraints, issues such as under-specification of thread scheduling and predictability of the runtime system must be addressed. A number of real-time extensions to Java have been proposed, the main two being the Real-Time Specification for Java (RTSJ) and the J-Consortium Real-Time Core Extension (RTCore). The intent of these specifications is to ease the development of real-time applications by providing several additions such as extending the memory management model, providing stronger semantics in thread scheduling, and so on.


::Goal::

There is an increasingly growing interest in Real-Time object technologies in both the research community and the industry. The goal of the workshop is to gather researchers working on real-time and embedded Java, and related languages, to identify the challenging problems that still need to be properly solved, and to report on research results and practical experience. The topics of interest are not limited to particular variants of real-time Java, we are looking for novel ideas and techniques in the following research areas:

  • New real-time programming paradigms and language features
  • Industrial experience and practitioner reports
  • Real-time design patterns and programming idioms
  • Formal models of real-time computation
  • Extensions to RTSJ and RTCore
  • Virtual machines and execution environments
  • Memory management and Real-time Garbage collection
  • Compiler analysis and implementation techniques
  • Distributed real-time Java
  • Scheduling frameworks, feasibility analysis, and timing analysis
::Important dates::

Submissions due: August 22, 2005
Notification: September 19, 2005

::Paper submission::

Papers must be submitted by email to jv@cs.purdue.edu in Postscript or PDF format. Hard copies of all research presentations and position papers will be distributed at the meeting. The conference web page will make available all slides from presentations given by the attendees, but the conference web page will not host papers. This is to ensure that the workshop is correctly understood to be an informal workshop, and that presentation of research at the workshop is not considered a barrier to republication of that research in conferences. Papers should be clearly labeled as either:

  1. Research papers: These papers present new results which have not appeared and are not under submission elsewhere. These papers should not exceed 10 pages in ACM double column format.
  2. Position/Experience papers: Short papers (<5 pages in ACM format) which present current research or experience using real-time Java. Please notify the organizers if a position paper is currently being considered for publication.
::Organizers::

Program Committee:
David Bacon, IBM T.J. Watson
Ted Baker, Florida State University
Daniel Dvorak, Jet Propulsion Laboratories
Chris Gill, Washington University
Jeff Gray, University of Alabama, Birmingham
David Holmes, DLTeCH
Christoph Kirsch, University of Salzburg
Doug Lea, State University of New York at Oswego
Insup Lee, Univeristy of Pennsylvania
Jens Palsberg, UCLA
Raj Rajkumar, Carnegie Mellon University
John Regehr, University of Utah
Andy Wellings, University of York

Program Chairs:
Greg Bollella, Sun Microsystems
Jan Vitek, Purdue Univeristy

Steering Committee:
Angelo Corsaro, SELEX SI
Greg Bollella, Sun Microsystems
Ron Cytron, Washington University
Doug Lea, State University of New York at Oswego
Corrado Santoro, University of Catania
Douglas Schmidt, Vanderbilt University
Jan Vitek, Purdue University
Andy Wellings, University of York