High-Productivity, Assured, Mixed-Criticality Systems Development with Real-time Java
Award last edited on: 11/19/2010

Sponsored Program
Awarding Agency
Total Award Amount
Award Phase
Solicitation Topic Code
Principal Investigator
Filip Pizlo

Company Information

Fiji Systems LLC

19039 Auten Road
South Bend, IN 46637
   (317) 522-6639
Location: Single
Congr. District: 02
County: St. Joseph

Phase I

Contract Number: ----------
Start Date: ----    Completed: ----
Phase I year
Phase I Amount
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.

Faster and less costly certification of mixed-criticality systems. Enabling avionics systems to leverage new technologies such as multi-cores and formal methods.

Java, Managed Languages, Safety Critical, Mixed-Criticality, Certification, Formal Methods, Real Time Garbage Collection, Compilers

Phase II

Contract Number: ----------
Start Date: ----    Completed: ----
Phase II year
Phase II Amount