High Assurance Java for Mission-Critical Systems
The safety-critical specification for Java (SCSJ) is being defined by the Open Group under the guidelines of the Java Community Process, with participation from Boeing, Lockheed Martin, Raytheon, the U.S. Navy, and several embedded Java technology suppliers. This specification is designed to provide the high performance, small memory footprint, hard real-time determinism, and simplicity required for the development of DO-178B certified software in commercial and military avionics applications. Many of the special capabilities of the SCSJ are also well-suited to development of high-assurance mission-critical software components, including device drivers; interfaces to legacy software components written in C, C++, and Ada; and modules that have demanding performance, footprint, or hard real-time determinism constraints. This paper describes relevant features of the SCSJ, their relevance to development of high-assurance missioncritical software, and the synergy that is made possible by standardized technologies that interface hard real-time and soft real-time high-assurance components.
Please disable any pop-up blockers for proper viewing of this Whitepaper.