This proposal will reduce certification costs due to the ability to partition low-criticality tasks and automate the generation of some certification artifacts using compiler techniques. By using Safety Critical Java as the source language, time and space partitioning will not entail expensive context switch cost or require additional memory for multiple operating system instances, which we expect will lead to better performance and lower resource usage. Furthermore, low-criticality tasks can use services such as real-time garbage collection and memory defragmentation to reduce development time while at the same time increasing software robustness.
Benefit: Faster and less costly certification of mixed-criticality systems. Enabling avionics systems to leverage new technologies such as multi-cores and formal methods.
Keywords: Java, Managed Languages, Safety Critical, Mixed-Criticality, Certification, Formal Methods, Real Time Garbage Collection, Compilers
