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

ACM International Conference Proceeding Series

Volumn 177, Issue , 2006, Pages 125-134

  Hu, Erik Yu Shing ^a   Jenn, Eric ^b   Valot, Nicolas ^b   Alonso, Alejandro ^c  

^a UNIVERSITY OF YORK   (United Kingdom)

^b THALES AVIONICS   (France)

^c UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

Author keywords

High integrity systems; Real time Java; Safety critical systems

Indexed keywords

ACCIDENT PREVENTION; AVIONICS; JAVA PROGRAMMING LANGUAGE;

HIGH INTEGRITY SYSTEMS; REAL-TIME JAVA; SAFETY CRITICAL SYSTEMS;

REAL TIME SYSTEMS;

EID: 34547257038     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1167999.1168021     Document Type: Conference Paper

References (19)

1. W. Ahrendt, T. Baar, B. Beckert, R. Bubel, M. Giese, R. Hähnle, W. Menzel, W. Mostowski, A. Roth, S. Schlager, and P. H. Schmitt. The KeY tool. Software and System Modeling, 4:32-54, 2005.
2. Aicas GmbH. JamaicaVM realtime Java, technology, page http://www.aicas.com/, Last accessed in June, 2006 2006.
3. ANRC. ARINC Specification 653: Avionics Application Standard Software Interface. Aeronautical and Radio Ine, October, 2003.
4. N. Audsley, A. Burns, M. Richardson, K. Tindell, and A. Wellings. Applying new scheduling theory to static priority preemptive scheduling. Software Engineering Journal, 8(5):284-292, 1993.
5. G. Bollella, B. Brosgol, P. Dibble, S. Furr, J. Gosling, D. Hardin, and M. Turnbull. The Real-Time Specification for Java. Addison-Wesley, 2000.
6. V. Braberman, D. Garbervetsky, and S. Yovine. A static analysis for synthesizing parametric specifications of dynamic memory consumption. Journal of Object Technology, 5(5), Special Issue, June 2006.
7. L. Burdy, Y. Heon, D. Cok, M. Ernst, J. Kiniry, G. T. Leavens, K. Rustan, M. Leino, and E. Poll. An overview of jml tools and applications. Proceeding of the 2003 International Workshop on Formal Methods for Industrial Critical Systems, June 2003.
8. A. Burns, B. Dobbing, and G. Romanski. The ravenscar tasking profile for high integrity real-time programs. Proceedings of Ada-Europe, 1411:263-275, 1998.
9. A. Burns and A. Welling. Real-Time Systems and Programming Languages. Addison-Wesley, 3rd. edition, 2001.
10. J.-M. Dautelle. Validating java for safety-critical applications. AIAA Space 2005 Conference, page http://javolution.org, August 2005.
11. E. G. et al. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading, MA, 1995.
12. Federal Aviation Administration. Handbook for Object Oriented Technique in Avionics. October, 2004.
13. H. Hetcht, M. Hecht, and S. Graff et at. Review guidelines for software languages for use in nuclear power plant systems. U.S. Nuclear Regulatory Commission, (NUREG/CR-6463), 1997.
14. HIJA. HIJA computational models, deliverable d1.2a. In HIJA deliverables, page http://www.hija.info. HIJA, 2005.
15. J. Kwon, A. Wellings, and S. King. Ravenscar-java: A high integrity profile for real-time Java. Java Grande-ISCOPE, pages 131-140, November 2002.
16. B. Meyer. Object-Oriented Software Construction. Prentice Hall Professional Technical Reference, 2nd Edt., 1997.
17. P. Puschner and A. Wellings. A profile for high integrity real-time Java programs. ISORC, November 2001.
18. RTCA. DO178B / ED12B, Software. Considerations in Airborne Systems and Equipment Certification. December, 1992.
19. Sun Microsystems. Java 2 platform micro edition (j2me) technology for creating mobile devices. White Paper, page http://java.sun.com/j2me/docs/ , 2000.