toggle menu
What We Do
Products & IP
DornerWorks VM Composer
MAPS Conformance IP
Space Switch IP & Dev Kits
AVB & TSN IP
Secure Technologies
Virtualized Platform Development
FPGA Engineering
Connected Product Development
Medical Device Engineering
Blog
Who We Are
Industries We Serve
Partners
Leadership
Resource Library
Get a Job
Current Openings
College Students
Schedule a Meeting
Blog
Home
/
Blog
/
SBIR
NASA Launches Space Cyber-resilience into a New Era with the seL4 Microkernel
Posted on June 18, 2020 by Matthew Russell
Tags:
ARM
,
cyber-resilience
,
cybersecurity
,
HPSC
,
NASA
,
SBIR
,
seL4
,
space
,
virtualization
Have you ever seen the cargo manifest of a NASA rocket? It’s the definition of exact measures. The crews’ clothing, the vehicle hardware, even the CD case is weighed and accounted for. Rocket scientists need precise data or they’ll...
Read more
DornerWorks Wins DARPA SBIR Contract for RISC-V port of seL4 Microkernel
Posted on December 3, 2019 by Matthew Russell
Tags:
DARPA
,
riscv
,
SBIR
,
seL4
Xen Project Hypervisor Headed for Space as DornerWorks Begins Phase I SBIR Project with NASA
Posted on July 15, 2019 by Matthew Russell
Tags:
FreeRTOS
,
HPSC
,
hypervisor
,
NASA
,
SBIR
,
virtualization
,
Xen Project
This Development Platform Can Provide Avionics Software Vendors Seamless Interoperability At Reduced Cost
Posted on March 15, 2019 by Matthew Russell
Tags:
Agile
,
Army
,
FACE
,
integration
,
isolation
,
partitioning
,
PEO
,
SBIR
,
virtualization
,
VMBSE
Strict Adherence to a Standard Does Not Guarantee Security or Safety
Posted on February 3, 2016 by Nathan Studer
Tags:
aerospace
,
ARINC 653
,
defense
,
safety
,
SBIR
,
security
Space-Qualified Hypervisor Supports Virtualization of Satellite Payloads
Posted on July 1, 2015 by DornerWorks Ltd.
Tags:
hypervisor
,
SBIR
,
space
,
virtualization
,
virtuosity
Explore More
Most Used Tags
IoT
FPGA
virtualization
seL4
Product Development
security
software
medical
Xilinx
linux
cybersecurity
Microchip
careers
space
hardware
View All
What We Do
Products & IP
DornerWorks VM Composer
MAPS Conformance IP
Space Switch IP & Dev Kits
AVB & TSN IP
Secure Technologies
Virtualized Platform Development
FPGA Engineering
Connected Product Development
Medical Device Engineering
Blog
Who We Are
Industries We Serve
Partners
Leadership
Resource Library
Get a Job
Current Openings
College Students
Schedule a Meeting