Overview

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. Higher-level programming
languages and middleware are needed to robustly and productively
design, implement, compose, integrate, validate, and enforce
real-time constraints along with conventional functional requirements
and reusable components. It is essential that the production of
real-time embedded systems can take advantage of languages, tools,
and methods that enable higher software productivity. The Java
programming language has become an attractive choice because of its
safety, productivity, its relatively low maintenance costs, and the
availability of well trained developers.

Although it features good software engineering characteristics,
standard Java is unsuitable for developing real-time embedded
systems, mainly due to under-specification of thread scheduling and
the presence of garbage collection. These problems are addressed by
the Real-Time Specification for Java (RTSJ). The intent of this
specification is the development of real-time applications by
providing several additions such as extending the Java memory model
and providing stronger semantics in thread scheduling.

Interest in real-time Java in both the research community and
industry has recently increased significantly, because of its
challenges and its potential impact on the development of embedded
and real-time applications. The goal of the proposed workshop is to
gather researchers working on real-time and embedded Java to identify
the challenging problems that still need to be solved in order to
assure the success of real-time Java as a technology, and to report
results and experiences gained by researchers.

The following two topics are of special interest:

* Multiprocessor and distributed real-time Java

* Verification and validation of real-time Java programs

Nowadays, real-time systems demand more functionality than in
previous years. Consequently the execution platforms are often
multiprocessors or distributed systems. Although the Real-Time
Specification for Java has addressed some multiprocessor issues,
other issues are still outstanding. Furthermore, defining the
appropriate RTSJ abstractions for distributed real-time programming
is still an open topic.

Real-time programs are often components of safety-critical systems.
Such applications requires thorough validation through testing and
analysis. In this context there is much research within the areas of
model checking, abstract interpretation, and other analysis techniques
that apply to real-time Java in general and in particular the specialised
Safety Critical Java (SCJ) profile.

Submission Requirement

Participants are expected to submit a paper of at most 10 pages (ACM
Conference Format, i.e., two-columns, 10 point font - see formatting
instructions at http://www.acm.org/sigs/publication...).

Accepted papers will be published in the ACM International Conference.

Proceedings Series via the ACM Digital Library and have to be presented by
one author at the JTRES. Papers should be submitted through Easychair.
Please use the submission link:

https://www.easychair.org/account/s...

Papers describing open source projects shall include a description
how to obtain the source and how to run the experiments in the
appendix. The source version for the published paper will be hosted
at the JTRES web site.

Accepted papers will be invited for submission to a special issue of the
Journal on Concurrency and Computation: Practice and Experience.

Topics of interest to this workshop include, but are not limited to:

* New real-time programming paradigms and language features

* Industrial experience and practitioner reports

* Open source solutions for real-time Java

* Real-time design patterns and programming idioms

* High-integrity and safety critical system support

* Java-based real-time operating systems and processors

* Extensions to the RTSJ

* Virtual machines and execution environments

* Memory management and real-time garbage collection

* Compiler analysis and implementation techniques

* Scheduling frameworks, feasibility analysis, and timing analysis

* Reproduction studies

* Multiprocessor and distributed real-time Java

Important Dates

* Paper Submission: *** Extended to JULY 3, 2011 ***

* Notification of Acceptance: August 4, 2011

* Camera Ready Paper Due: August 20, 2011

* Workshop: September 26-28th 2011

Program Chair

Anders P. Ravn, University of Aalborg, Denmark

Workshop Chair

Andy Wellings, University of York

Steering Committee

Andy Wellings, University of York

Angelo Corsaro, PrismTech

Corrado Santoro, University of Catania

Doug Lea, State University of New York at Oswego

Gregory Bollella, Oracle

Jan Vitek, Purdue University

Peter Dibble, TimeSys

Program Committee

Ted Baker, Florida State University

Angelo Corsaro, PrismTech

Peter Dibble, TimeSys

Rene R. Hansen, Aalborg University

Theresa Higuera, Universidad Complutense de Madrid

Tomas Kalibera, University of Kent

Christoph Kirsch, University of Salzburg

Gary T. Leavens, University of Central Florida

Doug Locke, LC Systems Services

Kelvin Nilsen, Aonix

Marek Prochazka, European Space Agency

Anders Ravn, Aalborg University

Corrado Santoro, University of Catania

Martin Schoeberl, Technical University of Denmark

Fridtjof Siebert, Aicas

Jan Vitek, Purdue University

Andy Wellings, University of York

Lukasz Ziarek, Fiji Systems

Réalisation Axome - Création de sites Internet