Award Data

The Generating Requirements Evidence with Analysis and System-level Enforcement (GREASE) project will develop a static binary verifier that generates evidence that COTS software components satisfy their requirements. The GREASE tool will accelerate both (1) the safe and high-assurance integration of COTS components into systems, and (2) the generation of assurance cases for the certification of sy ...

5G mobile networks are poised to dramatically enhance communication capabilities for DoD missions, such as those that require high mobility, and/or seamless connectivity between Navy vessels and UAV/USV/UUV/UGVs, each with rapidly changing positions. The network slicing enhancements of 5G will enable increasingly sophisticated network tunneling scenarios, such as allowing a battlefield partner (of ...

During the Phase II effort, Ballydel Technologies will develop scalable and safe processes for the manufacture of MAX phase and MXene powders in 1Kg batch sizes.  Additionally, our team will implement commercial-scale mixing procedures for the production

Digital Engineering will enable our platform Mission Critical Commitment by capturing, organizing, tracing, analyzing, and validating representative UAM system architectures and requirements. Additionally, we will grow and foster the use of MBSE practices

The objective of this study will be to develop technologies for recompiling legacy binaries to the secure CHERI ISA in support of DoD modernization priorities. Doing this would enable upgrading DoD systems processors and software by ruling out several important categories of security vulnerability that are possible on legacy architectures. However, recompilation is inherently a very difficult task ...

A stable, robust, and cost-effective multi-material inkjet print (IJP) manufacturing technology platform is proposed that is capable of the precise compositional deposition of conductive, dielectric, and magneto-dielectrics materials on substrates. The pl

The vision of the CAMDEN project has been to explore the use of mechanism design as a solution to effectively incentivize and accelerate collaboration in critical DoD domains. Our Phase II goal is to “make it real” by building one or more deployable mechanism design solutions, demonstrating in a very tangible way how mechanism design can benefit the DoD. In the 8-month Phase 1 effort, we aimed ...

The US Air Force has the need to predict proficiency, outcomes, and study potential optimizations of the impact of proposed training for USAF personnel, teams, and individual pilots.  Such assessments rely on data provided by a variety of facilities and service branches, and at diverse classification and compliance levels.  While techniques do exist for linking and aggregating data for analysis, ...

The Technical Problem: The Air Force Nuclear Weapons Center (AFNWC) and the broader Department of Defense (DOD) require operational agility that can only be achieved through the implementation of Software Defined Weapon Systems. In today's modern systems,

The munitions lifting assembly sunshade cover (Thermavent-SD) is a lightweight Static Dissipative (SD) cover system for use on the A/E32K-11 Munitions Lifting Assembly (MLA).  It is designed to provide >70% solar radiation blockage while functioning in a wide range of environments consistent with military operations.  The Thermavent-SD cover will be designed to be authorized for use by the Naval ...