DornerWorks, Ltd.

3445 Lake Eastbrook SE Array
Grand Rapids, MI 49546
http://www.dornerworks.com
50 Employees

SBIR Award Summary

Total Number of Awards 6
Total Value of Awards $4.09MM
First Award Date 02/01/11
Most Recent Award Date 06/06/16

Key Personnel

Last Name Name Awards Contact
VanderLeest Steven VanderLeest 3 Message
Santangelo Andrew Santangelo 2 Message
VanderLeest Steven VanderLeest 1 Message
Dorner Mr. David Dorner 1 Message

6 Awards Won

Phase 2 SBIR

Agency: Department of Defense
Topic: SB151-003
Budget: 06/06/16 - 07/07/17

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...

Phase 1 SBIR

Agency: Defense Advanced Research Projects Agency
Topic: SB151-003
Budget: 01/01/15 - 12/31/15

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...

Phase 2 SBIR

Agency: Defense Advanced Research Projects Agency
Topic: SB131-009
Budget: 01/01/14 - 12/31/14

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...

Phase 1 SBIR

Agency: Defense Advanced Research Projects Agency
Topic: SB131-009
Budget: 05/06/13 - 02/07/14

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...

Phase 2 SBIR

Agency: Navy
Topic: N102-184
Budget: 07/30/12 - 01/29/14

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...

Phase 1 SBIR

Agency: Navy
Topic: N102-184
Budget: 02/01/11 - 08/01/11

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...