Data Flow Analysis of a Xen-based Separation Kernel
DornerWorks has developed a separation kernel product called Virtuosity based on the open source Xen hypervisor. Virtuosity was developed to meet DO-178C Level A requirements for safety and high robustness requirements derived from the Common Criteria and the SKPP for security.
Here, we present an overview of Virtuosity and describe how the Rockwell Collins Data Flow Logic (DFL) framework is being leveraged to demonstrate compliance with data isolation and information flow control requirements.
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