Article

Safety critical Java™ technology

Author:

C. Douglass LockeAuthors Info & Claims

JTRES '06: Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems

Pages 95 - 96

https://doi.org/10.1145/1167999.1168016

Published: 11 October 2006 Publication History

Get Access

Abstract

A specification for Java in safety critical systems is being developed by The Open Group under the Java Community Process. The JSR-302 Expert Group has begun work to create this specification based on the Real-Time Specification for Java (RTSJ) that will include a set of reduced functionality for safety critical applications. The goal is to facilitate safety critical Java applications capable of DO-178B Level A certification.

References

[1]

Wellings, A., et. al., Ravenscar-Java: A High Integrity Profile for Real-Time Java, University of York, York, UK, 2004.

Google Scholar

[2]

Nilsen, K., Guidelines for Scalable Java Development of Real-Time Systems, Aonix, http://research.aonix.com/jsc/rtjava.guidelines.3-28-06.pdf, 2006.

Google Scholar

[3]

HIJA Safety Critical Java Proposal 20 October 2005, aicas GmbH, http://www.opengroup.org/rtforum/rt_java/protected/sc-develop/uploads/10/8920/hunt.051020.pdf, 2005

Crossref

Google Scholar

[4]

The Real-Time Specification for Java, version 1.0.2, Java Community Process, 2006.

Google Scholar

Cited By

View all

Balogh ABergmann GCsertán GGönczy LHorváth ÁMajzik IPataricza APolgár BRáth IVarró DVarró G(2010)Workflow-driven tool integration using model transformationsGraph transformations and model-driven engineering10.5555/1985522.1985534(224-248)Online publication date: 1-Jan-2010
https://dl.acm.org/doi/10.5555/1985522.1985534

Index Terms

Safety critical Java™ technology
1. Security and privacy
  1. Software and application security
    1. Software security engineering
2. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language features
      2. Language types
  2. Software organization and properties
    1. Software functional properties
      1. Correctness
        Access protection

Recommendations

A type system to assure scope safety within safety-critical Java modules
JTRES '06: Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems

To address the needs of safety-critical system developers, a type system based on Java 5.0 meta-data annotations and special bytecode verification techniques is described. This type system enables programmers to develop code for which the byte code ...
Evaluating the Java Native Interface JNI: Leveraging Existing Native Code, Libraries and Threads to a Running Java Virtual Machine

This article aims to explore JNI features and to discover fundamental operations of the Java programming language, such as arrays, objects, classes, threads and exception handling, and to illustrate these by using various algorithms and code samples. ...
Use of PERC Pico in the AIDA avionics platform
JTRES '09: Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems

In this paper, we present the DIANA experiment on the use of Java in avionics safety critical applications. First, we discuss some concerns about the porting of the Java platform on the ARINC 653 operating system. Then the paper focuses on some ...

Comments

Information & Contributors

Information

Published In

JTRES '06: Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems

October 2006

242 pages

ISBN:1595935444

DOI:10.1145/1167999

Conference Chair:
Marc Richard-Foy
Aonix, France

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 11 October 2006

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 50 of 70 submissions, 71%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
344
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 15 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Balogh ABergmann GCsertán GGönczy LHorváth ÁMajzik IPataricza APolgár BRáth IVarró DVarró G(2010)Workflow-driven tool integration using model transformationsGraph transformations and model-driven engineering10.5555/1985522.1985534(224-248)Online publication date: 1-Jan-2010
https://dl.acm.org/doi/10.5555/1985522.1985534

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

A type system to assure scope safety within safety-critical Java modules

Evaluating the Java Native Interface JNI: Leveraging Existing Native Code, Libraries and Threads to a Running Java Virtual Machine

Use of PERC Pico in the AIDA avionics platform

Comments

Published In

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Acceptance Rates

Other Metrics

Article Metrics

Other Metrics

Cited By

Login options

Full Access

PDF

eReader

Abstract

References

Cited By

Index Terms

Recommendations

A type system to assure scope safety within safety-critical Java modules

Evaluating the Java Native Interface JNI: Leveraging Existing Native Code, Libraries and Threads to a Running Java Virtual Machine

Use of PERC Pico in the AIDA avionics platform

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations