Critical and High Assurance Requirements Transformed through Engineering Rigour

Time: October 24, 2012 to October 26, 2012
Location: Technical University of Denmark, DTU Informatics
City/Town: Copenhagen, Denmark
Website or Map: http://jtres2012.imm.dtu.dk/
Event Type: workshop
Latest Activity: May 23, 2012
Export to Outlook or iCal (.ics)
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.
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: July 1, 2012
* Notification of Acceptance: August 5, 2012
* Camera Ready Paper Due: August 20, 2012
* Workshop: October 24-26, 2012
© 2013 Created by Alec Dorling.
RSVP for JTRES 2012 to add comments!
Join CHARTER