>all computation software still not java, mission control and other realtime stuff definitely not java.
You should have a look at JSR-000302 Safety Critical Java Technology. No GC, realtime, direct hardware access and certified for DO-178B, Level A.
>The specification is targeted to a wide variety of very demanding certification paradigms such as the safety-critical
requirements of DO-178B, Level A. This specification presents a set of Java classes providing for safety-critical application startup, concurrency, scheduling, synchronization, input/output, memory management, timer management, interrupt processing, native interfaces, and exceptions.To enhance the certifiability of applications constructed to conform to this specification, this specification also presents a set of annotations that can be used to permit static checking for applications to guarantee that the application exhibits certain safety properties.
You should have a look at JSR-000302 Safety Critical Java Technology. No GC, realtime, direct hardware access and certified for DO-178B, Level A.
>The specification is targeted to a wide variety of very demanding certification paradigms such as the safety-critical requirements of DO-178B, Level A. This specification presents a set of Java classes providing for safety-critical application startup, concurrency, scheduling, synchronization, input/output, memory management, timer management, interrupt processing, native interfaces, and exceptions.To enhance the certifiability of applications constructed to conform to this specification, this specification also presents a set of annotations that can be used to permit static checking for applications to guarantee that the application exhibits certain safety properties.