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:
- 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.
- 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 |
|