A comparison of Ada and real-time Java™ for safety-critical applications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4006 LNCS, Issue , 2006, Pages 13-26

  Brosgol, Benjamin M ^a   Wellings, Andy ^b  

^a AdaCore ^*  (United States)

^b UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; REAL TIME SYSTEMS; SECURITY SYSTEMS; SET THEORY;

CONPUTER PROGRAMMING LANGUAGE - ADA; REAL-TIME SPECIFICATION FOR JAVA (RTSJ); SAFETY-CERTIFIED SOFTWARE; SAFETY-CRITICAL APPLICATION;

JAVA PROGRAMMING LANGUAGE;

EID: 33746038876     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11767077_2     Document Type: Conference Paper

References (12)

1. RTCA SC-167 / EUROCAE WG-12. RTCA/DO-178B - Software Considerations in Airborne Systems and Equipment Certification, December 1992.
2. The Motor Industry Software Reliability Association. MISRA-C:2004 - Guidelines for the use of the C language in critical systems, October 2004.
3. Peter Dibble (spec, lead), Rudy Belliardi, Benjamin Brosgol, David Holmes, and Andy Wellings. Real-Time Specification for Java™, VI.0.1, June 2005. www.rtsj.org.
4. ISO/IECJTC1/SC22/WG 9. Ada Reference Manual - ISO/IEC 8652:1995(E) with Technical Corrigendum 1 and Amendment 1 (Draft 13) - Language and Standard Libraries, 2005.
5. Handbook for Object-Oriented Technology in Aviation (OOTiA), October 2004. www.faa.gov/aircraft/air.cert/design.approvals/air.software/oot.
6. Alan Burns, Brian Dobbing, and George Romanski. The Ravenscar profile for high-integrity real-time programs. In Reliable Software Technologies - Ada Europe '98, number 1411 in Lecture Notes in Computer Science, Uppsala, Sweden, June 1998. Springer-Verlag.
7. ISO/IEC JTC 1/SC 22/WG 9. ISO/IEC DTR 15942: Guide for the Use of the Ada Programming Language in High Integrity Systems, July 1999.
8. James Gosling, Bill Joy, Guy Steele, and Gilad Bracha. The Java Language Specification. Addison-Wesley, third edition, 2005.
9. E. Poll, J. van den Berg, and B. Jacobs. Formal specification of the JavaCard API in JML: the APDU class. Computer Networks (Amsterdam, Netherlands: 1999), 36(4):407-421, 2001.
10. Jim Alves-Foss, editor. Formal Syntax and Semantics of Java, volume 1523 of Lecture Notes in Computer Science. Springer, 1999.
11. J. Kwon, A. Wellings, and S. King. Ravenscar-Java: a high-integrity profile for real-time Java, Concurrency and Computation: Practice and Experience, 17(5-6):681-713, April/May 2005.
12. Hao Cai and Andy Wellings. A real-time Isolate specification for Ravenscar-Java. In Proceedings of the Seventh IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, May 2004.