Low-Cost, High Assurance Separation Kernel
Small Business Information
421 SW Sixth, Suite 300, Portland, OR, 97204
AbstractPrevious separation kernels have been based on safety-critical, real-time embedded operating systems meeting the FAA's DO-178B certification criteria. We believe that these systems' heritage emphasizes trustworthiness over cost, and results in a solution better suited for embedded environments. We propose to build a separation kernel middleware layer on top of a COTS or open source capability-based microkernel. We will include low cost in the criteria for systems to evaluate. To meet the high assurance requirement we will develop or re-use formal methods artifacts for the microkernel, and extend them with formal methods artifacts for the middleware.
* information listed above is at the time of submission.