Assessment of the Java programming language for use in high integrity systems

Authors:
Jagun Kwon;Andy Wellings;Steve King
Affiliations:
University of York, UK;University of York, UK;University of York, UK
Venue:
ACM SIGPLAN Notices
Year:
2003

Citing 20
Cited 1

Software safety: why, what, and how

ACM Computing Surveys (CSUR)
Evaluation of safety-critical software

Communications of the ACM
Software safety in embedded computer systems

Communications of the ACM
The choice of computer languages for use in safety critical systems

Software Engineering Journal - Special issue on safety-critical systems
Ada, C, C++, and Java vs. the Steelman

ACM SIGAda Ada Letters
Java annotation-aware just-in-time (AJIT) complilation system

JAVA '99 Proceedings of the ACM 1999 conference on Java Grande
Inside Java 2 platform security architecture, API design, and implementation

Inside Java 2 platform security architecture, API design, and implementation
The Ravenscar profile for high-integrity Java programs?

IRTAW '00 Proceedings of the 10th international workshop on Real-time Ada workshop
SafeTSA: a type safe and referentially secure mobile-code representation based on static single assignment form

Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
Safety Critical Computer Systems

Safety Critical Computer Systems
High-Integrity System Specification and Design

High-Integrity System Specification and Design
The Real-Time Specification for Java

The Real-Time Specification for Java
The Java Language Specification

The Java Language Specification
Ravenscar-Java: a high integrity profile for real-time Java

JGI '02 Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande
The Real-Time Specification for Java

Computer
The Ravenscar Tasking Profile for High Integrity Real-Time Programs

Ada-Europe '98 Proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies
Low-level analysis of a portable Java byte code WCET analysis framework

RTCSA '00 Proceedings of the Seventh International Conference on Real-Time Systems and Applications
Language-Based Security

Language-Based Security
WCET Analysis of Reusable Portable Code

ECRTS '01 Proceedings of the 13th Euromicro Conference on Real-Time Systems
A Profile for High-Integrity Real-Time Java Programs

ISORC '01 Proceedings of the Fourth International Symposium on Object-Oriented Real-Time Distributed Computing

A comparative study between computer programming languages for developing distributed systems in web environment

Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper sets a goal of investigating the use of Java in the development of high integrity systems. Based on previous studies, guidelines, and standards, we develop 23 criteria that are used for the following assessment of Java. A summary of the assessment is provided before we go on to review a few existing subsets of the language.