All ongoing and completed projects

Avionics platforms

Hardware, software, operating systems, and middleware for safety-critical real-time distributed computing platforms such as integrated modular avionics, flexible and self-organizing avionics platforms, and redundant system, real-time, fault detection and isolation techniques, virtualization, containering, and time-dependent networking.

Certification methods

Safety methods for AI-enabled aerospace systems throughout the lifecycle, from system specification to implementation to operations, i.e., formal methods, assurance methods, automation, and artifact generation.

Methods & tools

Mathematics, computer science, and tools that make the development and assurance of safety-critical systems more efficient and mature, e.g., domain-specific modeling, planning algorithms, system visualization and processing, and systems engineering.

To the top of the page