Award Data

Software continues to be a weak link in our critical systems. A prudent operator should employ a defense-in-depth strategy whereby"safe"systems are still monitored to detect breaches and respond to them. Unfortunately, such monitoring is challenging in practice, since there is no universal pattern that characterizes misbehaving software. We will capture an application"s intended behavior as it is ...

Vescent Photonics proposes to develop a compact laser system and integrate it with a cold-atom micro primary standard developed under the DARPA IMPACT program. In phase I we will investigate performance enhancements resulting from immobilizing the cold-atom sample with an optical lattice formed from an optical field whose wavelength is chosen to minimize the differential light shifts between the s ...

The overall objective of the Phase I and Phase II proposed effort is to design and demonstrate the ability to develop a high-speed shock tolerant composite flywheel energy storage system (FESS) using a low cost manufacturing process. The Phase I tradeoff design studies will assess the FESS size, operating speeds and material requirements needed to achieve the energy density levels and charge/disch ...

This STTR Phase I project will demonstrate the feasibility and effectiveness of novel biologically-inspired computational memory models for on-board exploitation of long-duration sensor data streams to enable autonomous missions in unknown environments. The key innovation in this effort is a computationally and space-efficient computational memory model that is able to: i) handle long-duration dat ...

Complex software systems are typically developed by disparate engineering teams working concurrently. At the same time, software requirements are frequently dynamic, evolving even during active development cycles. Discrepancies between how software is defined and how it is implemented at the modular level can cascade into critical system errors when modules are integrated. More troubling is that i ...

As strontium and other alkaline-earth metals become increasingly attractive for ultracold-atom applications, there is a growing need to develop compact, robust systems for cooling, trapping, and studying these elements. In this proposal, ColdQuanta will team with Dr. Jun Ye at JILA and the University of Colorado at Boulder to develop a portable, turn-key system that can produce, utilize, and optic ...

Autoclaves are typically used to fabricate high-quality composite components with acceptable thermal properties and low void volume. They provide elevated temperature processing cycles and external pressure required for adequate compaction to achieve these desired properties. However, autoclaves represent large capital and energy investment while limiting the size of fabricated parts and productio ...

Large aerospace composite structures currently require autoclaves and ovens to achieve desired performance which are expensive to purchase, costly to operate, and often limit part size and production rate. Ovens and autoclaves rely on convective heating which is inefficient, consumes large amounts of energy, and can be difficult to predict. Alternative cure processes using external heaters or hot ...

Barron Associates has teamed with a prominent researcher in the field of formal verification of cyber physical systems to propose a new paradigm in runtime assurance for complex autonomous systems controlled and operated by artificial machine intelligence. A two-stage approach is considered in which formal verification processes are first performed offline at algorithm design time. Online, during ...

To realize the full potential of autonomous systems, it is imperative that they behave safely, correctly, ethically, and legally. Providing these assurances through offline verification alone is insufficient, due to the complex and changing nature of autonomous systems. Online monitoring and corrective actions are necessary to account for uncertainties, and to increase trust between a human superv ...