Low-Cost, High Assurance Separation Kernel
Agency / Branch:
DOD / ARMY
Previous 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.
Small Business Information at Submission:
Anne M. McClaran
421 SW Sixth Suite 300 Portland, OR 97204
Number of Employees: