Award Data

US warfighter safety could be significantly improved by providing an ability to quickly and accurately assess the acoustic impact of rotorcraft operations in the field and reduce the likelihood of detection. Current mission planning tools are empirical in nature, limited to operating conditions for which flight test data exists and challenged in predicting the acoustic impact of maneuvering flight ...

The seL4 microkernel provides significant cybersecurity benefits, mainly due to its formal proof and the fact that it is open source software. The formal proof ensures that the microkernel behaves exactly as expected, which results in a much higher basis for security. An open source license provides seL4 users with a much less expensive solution and many eyes focused on the development. One limita ...

Idaho Scientific presents a Risc-V based secure processor architecture that provides unique security properties complimentary to the seL4 microkernel. The work conducted under this Phase I SBIR effort will further the discipline of computer security by mitigating memory corruption vulnerabilities, enforcing strong processes separation, covering seL4's formal verification assumptions, and provide a ...

To address the Army’s need for recertification cost reduction via analyzing and optimizing the ripple effects of incrementally updating mission systems designs, Physical Optics Corporation (POC) proposes to design and develop software for Change Management through Modeling, Analysis, and Optimization (CAMAO). CAMAO will assess the impact of changes to system models specified in AADL/SysML by inc ...

When upgrading or redesigning a complex system, it is crucial to under- stand the impact of design changes on the system’s resulting costs, especially costs related to re-certification. System-level requirements cut across several components and subsystems, includ- ing size, weight, and power budgets; bandwidth and processor utilization; timing constraints; safety requirements; and security cont ...

The AR3P (Autonomous & Robotic Remote Refueling Point) is in need of a reliable and efficient grounding system. Traditional grounding systems are semi-permanent structures that require a 6 to 9 foot grounding rod be installed into terrain. This proposal outlines the development of a virtual ground for enabling autonomous refueling which will eliminate the need for this grounding stake. By “freei ...

Triton will demonstrate the feasibility and maturation of an autonomous and remote fuel agitation and certification approach that is needed to determine the feasibility of executing an autonomous fueling mission with no human-in-the-loop. The Autonomous and Robotic Remote Refueling Point (AR3P) concept is a project addressing the range and on-station time limitations and mission risks faced by cur ...

The Army’s Autonomous and Robotic Remote Refueling Point (AR3P) requires remote and autonomous agitation, filtration, and certification of aviation fuel to execute fueling missions with no human-in-the-loop and still meet all fuel delivery requirements, such as those in ATP 3.04.94 and ATP 4.43. FTL’s “Autonomous Filtration, Agitation, and Certification Technology (AFACT)” uses Commercial- ...

The primary objective of this program is to design, model and demonstrate a shape memory alloy (SMA) heat engine with high efficiency utilizing improvements in material composition, processing and heat engine design developed by the NextGen Aeronautics/Penn State team. The proposed SMA engine design will provide high power density and efficiency at low temperature gradients and improved fatigue li ...

The emergence and proliferation of small wireless sensor networks, such as structural health monitoring sensors, has increased the demand for improved energy harvesting solutions that alleviate the need for batteries or wired power. Consequently, the interest in shape memory alloy (SMA) heat engines to harvest low-gradient heat has grown up with the development of wireless sensors. In this researc ...