Safety critical applications and hard real-time profile for Java: a case study in avionics

Despite Java's initial promise of providing a reliable and cost-effective platform-independent environment, the language appears to be unfavourable in the area of high-integrity systems and real-time systems.To address this issue, the language environment must provide not only a well-defined specification or subset, but also a complete environment with appropriate analysis tools. This paper describes an architecturally neutral real-time frame-work, which is proposed by the HIJA project, for safety critical systems with analysis tools. The goal of this paper is to present an overview of hard real-time profile and report on its current status. An avionic application is selected to experiment with the ANRT framework and the SCJ profile is also illustrated.

[1]  Michael D. Ernst,et al.  An overview of JML tools and applications , 2003, International Journal on Software Tools for Technology Transfer.

[2]  Hoyt Lougee,et al.  SOFTWARE CONSIDERATIONS IN AIRBORNE SYSTEMS AND EQUIPMENT CERTIFICATION , 2001 .

[3]  Bernhard Beckert,et al.  The KeY tool , 2005, Software & Systems Modeling.

[4]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[5]  Alan Burns,et al.  Applying new scheduling theory to static priority pre-emptive scheduling , 1993, Softw. Eng. J..

[6]  Alan Burns,et al.  The Ravenscar tasking profile for high integrity real-time programs , 1998 .

[7]  Andy J. Wellings,et al.  A profile for high-integrity real-time Java programs , 2001, Fourth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISORC 2001.

[8]  M. Hecht,et al.  Review Guidelines for Software Languages for use in Nuclear Power Plant Safety Systems , 1997 .

[9]  Sergio Yovine,et al.  A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption , 2006, J. Object Technol..

[10]  Jean-Marie Dautelle Validating Java(tm) for Safety-Critical Applications , 2005 .

[11]  Andy J. Wellings,et al.  Ravenscar‐Java: a high‐integrity profile for real‐time Java , 2005, Concurr. Pract. Exp..

[12]  Alan Burns,et al.  The Ravenscar Tasking Profile for High Integrity Real-Time Programs , 1998, Ada-Europe.

[13]  Paul Prisaznuk,et al.  ARINC Specification 653, Avionics Application Software Standard Interface , 2006, Avionics.

[14]  James Gosling,et al.  The Real-Time Specification for Java , 2000, Computer.

[15]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .