Use of PERC Pico in the AIDA avionics platform
Tobias Schoofs, Éric Jenn, Stéphane Leriche, Kelvin Don Nilsen, Ludovic Gauthier, Marc Richard-Foy · 2009
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.