Realize the Benefits of a Safe and Secure ARINC 653 Hypervisor
DornerWorks is developing extensions to the open source Xen hypervisor that will meet DO-178C Level A requirements for safety and high robustness requirements based on Common Criteria Evaluation Assurance Level (EAL) 6+ for security. Our extensions provide compliance with the ARINC 653 standard, including time and space partitioning and refine the idea of I/O partitioning. Our partitioning of I/O provides deterministic bandwidth allocation to guest domains.
To meet security requirements we apply modern formal analysis techniques to our design.
A distinctive aspect of our hypervisor is our use of permissive licensing based on open source with meticulous configuration management. We believe that the transparency and availability offered by a permissive license and an open architecture coupled with rigorous certification artifacts for both safety and security establishes a compelling alternative for partitioning of software in safety and security-critical systems.
Steve is a multi-talented technical expert and entrepreneur with proven expertise in engineering design and processes, and experience in both industry and academia, having been a professor of engineering at Calvin College for many years. He has published dozens of papers on a variety of technology-related topics.
Other Related Content
You shouldn’t have to be an expert in everything.
You have a great product, but there’s so much to do that you can’t focus on your customers and your core expertise.
We’re here to help.
We’ve developed hundreds of projects for lots of customers. When you create your product with us, your product will stand out in the market, and better yet–you will be able to focus on what’s most important.Schedule a discussion