Take a look at the new version of this page: [ beta version ]. Tell us what you think.

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.

REFERENCES

• 1: DIANA IST-FP6 project, http://diana.skysoft.pt.
• 2: Object Management Group, Data Distribution Service for Real-time Systems, OMG specification, omg/07-01-01.
• 3: Object Management Group, Model Driven Architecture guide, omg/03-06-01.
• 4: Airlines Electronic Engineering Committee (AEEC), Avionics Application Software Standard Interface (ARINC Specification 653 Part 1 -- Required Services), ARINC Inc., March 2006.
• 5: JSR 302 - http://jcp.org/en/jsr/detail?id=302
• 6: Clemens Szyperski, Component Software: Beyond Object-Oriented Programming, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2002
• 7: Federal Aviation Administration, Advisory Circular on Reusable Software Components (= AC 20-RSC), June, 2003.
• 8: João Ventura , Fridtjof Siebert , Andy Walter , James Hunt, HIDOORS-A High Integrity Distributed Deterministic Java Environment, Proceedings of the The Seventh IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), p.113, January 07-09, 2002
• 9: The HIJA consortium: High Integrity Java, project home page at: http://www.hija.info.
• 10: Minutes from the Safety Critical Java Specification Meeting, San Diego, CA, Feb. 6, 2004.
• 11: Airlines Electronic Engineering Committee (AEEC), Avionics Application Software Standard Interface (ARINC Specification 653 Part 3 -- Conformity Test Specification), ARINC Inc., October 2006.
• 12: Erik Yu-Shing Hu , Eric Jenn , Nicolas Valot , Alejandro Alonso, Safety critical applications and hard real-time profile for Java: a case study in avionics, Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, October 11-13, 2006, Paris, France [doi>10.1145/1167999.1168021]
• 13: Federal Aviation Administration, Object Oriented Technology in Aviation (OOTiA), Vol. 1--4, http://www.faa.gov/aircraft/air_cert/design_approvals/air_software/oot/.

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.3 Language Constructs and Features
          Subjects: Concurrent programming structures

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.3 Language Constructs and Features
          Subjects: Modules, packages; Control structures

General Terms:
Design, Experimentation, Languages, Performance, Reliability, Security, Standardization, Verification

Keywords:
ARINC 653, DO-178C, Java, RTSJ, SCJT, aeronautic certification, safety-critical real-time systems