Award Data

N/A

We propose a novel, open, high-assurance architecture based on the seL4 secure microkernel and RTI's commercial, DO178-C Level A certifiable, Data Distribution Service (DDS) messaging middleware for affordable development of trusted, verified, safety-critical distributed systems.

Technical Abstract (Limit your abstract to 200 words with no classified or proprietary information) Injury and death of marine mammals can be caused by ship strikes and exposure to high level acoustic sources.It is incumbent upon all U.S. mariners to take whatever precautions necessary to avoid such incidents.The current procedure for mitigating these events is human observers watching with binocu ...

In a previous effort, GTL successfully demonstrated that the BHL cryotank technology provides a 75% mass reduction compared to the state of the art cryotanks. This capability would double the payload a liquid propellant launch vehicle just from the mass...

Over 820 million Indians, about 65% of its population, cook on polluting open fires, causing ~1 million premature deaths annually. Fifty million households have no electricity. The Power Stove is a household energy solution combining clean cooking and reliable, ondemand power. Clean combustion and thermoelectric power technology, make it a high performance, user desirable solution based on low cos ...

N/A

AOSense proposes to design, build, and test a compact, calcium beam optical clock capable of providing GPS-quality time. The proposed clock will have a fully-integrated physics package containing the atomic reference, optical cavity, frequency comb, and all electro-optics and beam routing, which will tether to modular electronics.

Kestrel Technology will develop CLAIM: Corpus- and Logic-based Automated Identification of Malware, which will pioneer a novel approach to malware detection and identification using a Big Code corpus of known malicious programs.CLAIM will work by performing a logical match (based on semantics and functionality, not signatures) between unknown, possibly malicious programs and known malicious progra ...

A wireless implant capable of communication with large populations of neurons will be developed for manufacturing and production in this project. The product will have effective wireless data rates significantly higher than state of the art wireless neural interfaces. This will improve wireless communication with neurons, and is a promising step towards transformative treatments: sight, sound, sme ...

Graph analytics platforms are widely deployed across diverse domains to analyze large, unstructured and semi-structured data-sets. The ability to process large data-sets quickly is especially important in the domain of cyber security where detecting sophisticated attacks in a timely manner is crucially important for maintaining network security.While existing tools are clearly effective, there is ...