Microkernel Application Information fLow with Logic-based Enforcement (MAILLE)

Award Information
Agency: Department of Defense
Branch: Air Force
Contract: FA8750-19-C-0527
Agency Tracking Number: F191-063-0721
Amount: $149,917.00
Phase: Phase I
Program: SBIR
Solicitation Topic Code: AF191-063
Solicitation Number: 2019.1
Solicitation Year: 2019
Award Year: 2019
Award Start Date (Proposal Award Date): 2019-07-30
Award End Date (Contract End Date): 2020-07-30
Small Business Information
111 Third Ave. S., Suite 100, Minneapolis, MN, 55401
DUNS: 165988937
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: N
Principal Investigator
 Todd Carpenter
 (651) 295-7126
Business Contact
 Kyle Nelson
Phone: (612) 280-9843
Email: kyle.nelson@adventiumlabs.com
Research Institution
Security certification of software for life- and mission-critical systems impacts both cost and schedule. While some microkernels offer significant safety and security advantages over classic operating system and real-time operating system approaches, it remains difficult to certify the resulting systems. It is also easy to construct unsafe and insecure systems based on microkernels.The proposed Microkernel Application Information fLow with Logic-based Enforcement (MAILLE) will be a usable development and verification environment for mixed-criticality and multiple independent levels of security (MILS) embedded systems.MAILLE targets systems that require safety and security guarantees from the kernel through user space applications. MAILLE leverages advances in microkernels, highly disaggregated separation architectures, model-based system engineering (MBSE), and integrated verification environments.A model-based front-end enables specification of the system components, integrated model-level and code-level information flow discovery, and enforcement, configuration, and code generation tools. These tools will directly implement the modeled system onto the desired microkernel. MAILLE will include a path for formal correctness, as well as effective tools that scale to real systems, providing system analysis, trust, and use of separation architectures by enabling development in a semantically sound approach across the system.

* Information listed above is at the time of submission. *

Agency Micro-sites

SBA logo
Department of Agriculture logo
Department of Commerce logo
Department of Defense logo
Department of Education logo
Department of Energy logo
Department of Health and Human Services logo
Department of Homeland Security logo
Department of Transportation logo
Environmental Protection Agency logo
National Aeronautics and Space Administration logo
National Science Foundation logo
US Flag An Official Website of the United States Government