Use of PERC Pico in the AIDA avionics platform

Authors:
Tobias Schoofs;Eric Jenn;Stéphane Leriche;Kelvin Nilsen;Ludovic Gauthier;Marc Richard-Foy
Affiliations:
Skysoft Portugal, Lisboa, Portugal;Toulouse, France;Toulouse, France;Aonix North America, American Fork, UT;Aonix France, Issy-les-Moulineaux;Aonix France, Issy-les-Moulineaux
Venue:
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems
Year:
2009

Citing 3
Cited 11

Component Software: Beyond Object-Oriented Programming

Component Software: Beyond Object-Oriented Programming
HIDOORS-A High Integrity Distributed Deterministic Java Environment

WORDS '02 Proceedings of the The Seventh IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002)
Safety critical applications and hard real-time profile for Java: a case study in avionics

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

High-level programming of embedded hard real-time devices

Proceedings of the 5th European conference on Computer systems
Asynchronous event handling and safety critical Java

Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems
Test-based inference of polynomial loop-bound functions

Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java
Virtualizing real-time embedded systems with Java

Proceedings of the 48th Design Automation Conference
Exploiting static application knowledge in a Java compiler for embedded systems: a case study

Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems
Industry use cases for the Java environment for parallel realtime development

Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems
A component model for hard real-time systems: CCM with ARINC-653

Software—Practice & Experience
Tailor-made JVMs for statically configured embedded systems

Concurrency and Computation: Practice & Experience
Asynchronous event handling and Safety Critical Java

Concurrency and Computation: Practice & Experience
A desktop 3D printer in safety-critical Java

Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
Hybrid compilation and optimization for java-based digital TV platforms

ACM Transactions on Embedded Computing Systems (TECS) - Special Section ESFH'12, ESTIMedia'11 and Regular Papers

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 important features of the Safety Critical Java Technology adopted in the project. Particular attention is turned on the Java memory model which is stack-based as opposed to the ongoing JSR-302 memory regions model. Benefits and issues of this approach are discussed through a real use case implementation representing part of a Flight Warning System.