Aonix Research and Development - Safety Critical Java Specification Initiative |
|
Introduction:
This
site contains meeting minutes and preliminary specifications
of the working group on the Safety Critical
Java™ Standard.
NO WARRANTY
Any material furnished by Aonix on this site is furnished on an "as is" basis. Aonix makes no
warranties of any kind, either expressed or implied as to any matter including,
but not limited to, warranty of fitness for a particular purpose or
merchantability, exclusivity or results obtained from use of the material. Aonix
does not make any warranty of any kind with respect to freedom from patent,
trademark, or copyright infringement.
Document
Index:
|
sandiego.minutes.txt
|
Minutes of Open Group Meeting held Feb. 5-6, San Diego,
CA,
prepared by Doug Wells, Open Group
|
|
scjava.4-12-04.pdf
|
First draft specification (and outline of issues)
|
|
brussels.minutes.txt
|
Minutes of Open Group meeting held April 23-24, Brussels, Belgium,
prepared by Bill Bush, Sun Microsystems
|
|
scjava.6-21-04.pdf
|
Second draft specification
|
|
javadoc.7-8-04
|
Draft API for safety-critical Java (subset of RTSJ and
J2SE)
|
|
darpa.productivity.7-04.ppt
|
Quantitative
Analysis of Developer Productivity
in C vs. Real-Time Java,
Kelvin Nilsen, Ph.D.,
CTO, Aonix
Abstract: This talk
was presented at the DARPA Workshop on Real-Time Java, held on July 13 2004 in
Arlington VA. Java yields a two-fold productivity increase during development,
a five-fold reduction in code size, and improvements in software maintainability
and generality.
|
|
JSR.pdf
|
Revised Draft JSR for Safety Critical Java Specification,
Approved July 23, 2004
|
|
boston.minutes.txt
|
Minutes of Open Group Meeting held July 23-24, Boston, MA, prepared by
Kelvin Nilsen, Aonix
|
|
static.safety.9-04.pdf
|
Enforcement
of Static Properties in Evolving
Standards for Safety-Critical
and Mission-Critical Java,
Kelvin Nilsen, CTO, Aonix
|
|
rtsj.issues.9-04.pdf
|
Making
Effective Use of the Real-Time
Specification for Java,
Kelvin Nilsen, CTO, Aonix
|
|
jmc.extension.pdf
|
Proposed
Draft Extensions for Mission-Critical
Java, Kelvin Nilsen, Ph.D.,
CTO, Aonix
The
Open Group’s Real-Time and Embedded
Forum has been working for the
past several years to define
a standard for development of
hard real-time safety-critical
software using the Java programming
language. Various participants
in this effort have wondered
whether the proposed safety-critical
Java standard has any relevance
to the development of hard real-time
mission-critical software. At
July’s Boston meetings, it was
requested of Kelvin Nilsen that
he provide a description of
his ideas for combining hard
real-time code written using
a generalization of the safety-critical
standard with traditional Java
components running in soft real-time
or non-real-time virtual machine.
This document is the response
to that request.
|
|
jsc.mem.model.qa.pdf
|
Questions
and Answers Regarding Proposed
Static Analyzable Memory Model,
Kelvin Nilsen, Ph.D., CTO, Aonix.
At
the New Orleans meetings of
the Open Group’s Real-Time and
Embedded Forum during the week
of Oct. 18, several concerns,
issues, and questions were raised
regarding the memory model previously
proposed by Nilsen for the safety-critical
Java specification. This document
outlines the issues that were
raised by representing each
in the form of a question, with
responses to each question provided
by the author of this document.
Details of the proposed memory
model are provided in appendices
to this document.
|
|
rtjava.guidelines.11-13-04.pdf
|
Draft
Developer Guidelines for Real-Time
Java, Kelvin Nilsen, Ph.D.,
Chief Technology Officer, Aonix.
This document
establishes programming guidelines
to assure that real-time Java
software satisfies reliability
requirements and is economically
maintainable, portable, and
scalable. The guidelines are
based on making effective use
of the traditional J2SE Java
in combination with appropriate
profiles of the Real-Time Specification.
|
|
hrt.jtres.2003.pdf
|
Issues
in the Design and Implementation
of Efficient Interfaces Between
Hard and Soft Real-Time Java Components,
by Kelvin Nilsen and Andrew Klein.
This
paper, presented at the 2003 Workshop
on Java Technologies for Real-Time
and Embedded Systems, presents results
of research funded by the U.S. Navy
on the performance and software
engineering tradeoffs inherent in
combining high-level Java software
with low-level device-driver software.
Three alternative approaches are
considered: (1) Use of native code
and the Java Native Interface, (2)
Use of traditional RTSJ abstractions,
and (3) Use of RTSJ-subset abstractions
such as are proposed in the Scalable-Java
developer guidelines.
|
|
rtjava.guidelines.2-09-05.pdf
|
Draft
Guidelines for Scalable Java Development
of Real-Time Systems, Kelvin Nilsen, Ph.D.,
Chief Technology Officer, Aonix.
This
2/9/2005 update of Draft Developer
Guidelines for Real-Time Java
includes updates resulting from
feedback gathered during implementation
of the proposed hard real-time execution
environment and development tools.
|
|
rtjava.guidelines.3-26-05.pdf
|
Draft
Guidelines for Scalable Java Development
of Real-Time Systems, Kelvin Nilsen, Ph.D.,
Chief Technology Officer, Aonix.
This
3/26/2005 update of Draft Developer
Guidelines for Real-Time Java
includes updates resulting from
feedback gathered during implementation
of the proposed hard real-time execution
environment and development tools.
|
|
open.group.4-05.ppt
|
Applying RAMS
to Design of Safety- and Mission-Critical Java Standards,
Kelvin Nilsen, Ph.D.,
Chief Technology Officer, Aonix.
This PowerPoint
presentation, presented at the April 29, 2005 meeting of the Open Group, in
Dublin, Ireland, discusses Reliability, Availability, Maintainability, and
Safety issues relevant to the design of a safety-critical Java
standard.
|
|
rtjava.guidelines.5-6-05.pdf
|
Draft
Guidelines for Scalable Java Development
of Real-Time Systems, Kelvin Nilsen, Ph.D.,
Chief Technology Officer, Aonix.
This
5/6/2005 update of Draft Developer
Guidelines for Real-Time Java
includes updates resulting from
feedback gathered during implementation
of the proposed hard real-time execution
environment and development tools.
|
|
rtjava.guidelines.3-28-06.pdf
|
Guidelines
for Scalable Java Development of Real-Time Systems, Kelvin Nilsen, Ph.D.,
Chief Technology Officer, Aonix. This 3/28/2006
update of Draft Developer Guidelines for Real-Time Java includes changes resulting from feedback gathered during
implementation of the PERC Pico product and
research, including research conducted with DARPA funding for a large defense
subcontractor. |
|
JakHarta.pdf
|
A Hardware Java Virtual
Machine for Hard Real-Time Systems
A thesis submitted by
Glenn Coates to the University of Manchester for the degree of Master of
Philosophy in the Faculty of Engineering and Physical Sciences (fall, 2005).
This report discusses a variety of important issues regarding the use of Java
for hard real-time systems. The discussions are relevant both to
safety-critical and mission-critical uses of Java. |
|
jtres.2006.ppt
|
Powerpoint slides for "A Type System to Assure Scope
Safety within Safety-Critical Java Modules", presented at the 2006 Java
Technologies for Real-Time and Embedded Systems (JTRES) workshop in Paris,
France, Oct, 2006.
Abstract: To address the needs of
safety-critical system developers, a type system based on Java 5.0 meta-data
annotations and special byte-code verification techniques is described. This
type system enables programmers to develop code for which the byte code verifier
is able to prove the absence of scoped memory protocol errors, thereby
eliminating the need for run-time assignment checks. Benefits of the type system
include improved software reliability, easier maintenance and integration of
independently developed real-time software modules, and higher
performance. |
|
pico-manual.4-19-08.pdf |
PERC Pico User
Manual
Abstract:
PERC Pico is a commercial product of
Aonix, designed to satisfy the rigorous requirements of hard real-time and
safety-critical systems implemented in the Java programming language. The
design of PERC Pico is based on three years of discussions within the Open
Group Real-Time and Embedded Forum on the topic of standardization of a
safety-critical Java specification. As an expert-group participant in JSR-302,
Aonix continues to influence and track the progress of the official
standardization activities. Aonix anticipates that commercial experience with
PERC Pico will influence the final form of JSR-302. Once the JSR-302 standard
becomes official, Aonix intends to make adjustments to the PERC Pico product to
assure full compliance and compatibility.
|
|
About Aonix
|
| Aonix is a
leading global supplier of technologies supporting the development of
sophisticated applications primarily in the real-time and embedded domains.
Our
mission- and safety-critical solutions serve industries such as
telecommunications, military and aerospace, and transportation. Aonix delivers
PERC, the leading high-reliability, real-time embedded virtual machine solution
for running Java™ programs deployed today and has the largest number of
certified Ada
applications at the highest level of criticality. Aonix also offers the TeleUSE
line of Motif graphical user interface development solutions.
Headquartered in San Diego, CA and Paris,
France, Aonix operates sales offices throughout North America and Europe in
addition to a network of international distributors.
|
|
|
