$2.5B in R&D Funding for US Small Business

You are viewing an R&D grant awarded to a high-tech startup. The SBIR database contains more than 150,000 such awards as well as company and personnel profiles for the top researchers in virtually every emerging technology area.

6 Awards Won

$1.5MM

We are leveraging theassurance of the seL4microkernel, enabling mixed levels of safety-criticality and security via a methodology, design process, ecosystem components, and tools. Our target market includes commercial and military aerospace, defense, energy, and medical embedded applications which require safety/reliability and information assur...

$148K

We will develop software components layered on the seL4 microkernel, enabling mixed levels of safety-criticality and security. Our target market includes commercial and military aerospace, defense, and medical embedded applications requiring some measure of safety/reliability and information assurance. Phase I will produce not only a feasibili...

$1.5MM

DornerWorks is seeking to develop the QuickSAT based Xen Space Hypervisor, a space qualified hypervisor that will support the virtualization of satellite payloads, systems and software modules on a full range of space vehicles from CubeSATs to large satellites and launch vehicles. The Xen Space Hypervisor is an extended version of the open sourc...

$100K

Dornerworks is seeking to develop as part of this SBIR project the QuickSAT-ARLX Space Hypervisor, a space qualified hypervisor that will support the virtualization of satellite payloads, systems and software modules on a full range of satellites including CubeSATs and MicroSATs to large satellites and launch vehicles. ARLX is an extended versio...

$750K

We will continue development of ARINC 653 extensions for Xen, completing time and space partitioning and adding the I/O subsystem (building on our prototype serial driver). We will use more automated tools for our formal methods analysis by collaborating with the Advanced Technology Center of Rockwell Collins. This should allow us to analyze mor...

$90.4K

Our project addresses the problem of simultaneous achievement of safety, security, and performance. The study we propose will elicit a better understanding of the implicit trade-offs between the three and explore a promising path forward to optimize all three on a modern computer platform. Our approach is an implementation of the ARINC 653 softw...