Unification of Safety-Critical Java

Abstract : In response to increasing interest in the use of objectoriented technology for development of safety-critical systems, the new DO-178C guidelines will include supplements to address object-oriented technology, model-driven development, formal methods, and development tool qualification [1]. These supplements correlate well with the emerging safety-critical Java standard. As a portable object-oriented programming language enabling high levels of abstraction, safety-critical Java is an ideal candidate for automatic code generation for programming models. The use of formal methods to prove the absence of certain memory management errors at run time is a critical distinction between safety-critical Java and the Real-Time Specification for Java (RTSJ) [2]. And the specialized development tools that facilitate the use of these formal methods will, in the ideal, be qualified so that the results of their analysis can be relied upon as trustworthy safety certification evidence.
Keywords : Safety-Critical Java
Document type :
Conference papers
Complete list of metadatas

Cited literature [10 references]  Display  Hide  Download

Contributor : Axelle Pagnier <>
Submitted on : Sunday, August 4, 2019 - 8:12:21 PM
Last modification on : Wednesday, August 7, 2019 - 1:23:35 AM


Files produced by the author(s)


  • HAL Id : hal-02263468, version 1



Kelvin Nilsen. Unification of Safety-Critical Java. Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. ⟨hal-02263468⟩



Record views


Files downloads