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…
More