Award Data

seL4 is a formally verified operating system microkernel, with proven separation and timing properties. It was developed by NICTA, now part of Data61, and can form the basis for highly secure systems for commercial and government use, including computer systems, control systems, machinery, vehicles and other cyber-physical systems, and Internet of Things devices. A major limitation preventing wi ...

Warfighters operating in teams often face environments characterized by time pressure, rapidly unfolding events, high information processing demand and severe consequences of error. Managing an efficient work environment and minimizing errors due to the wear and tear, termed as the Allostatic Load, experienced by individuals under these highly stressful conditions necessitate identification of ind ...

Developing secure software is notoriously difficult, partially evidenced by the increasing trend in vulnerabilities disclosed per year. While significant effort has gone into developing tools and automated test frameworks, human behavioral aspects of the software development process have remained relatively unexplored. These behavioral aspects, such as relying on inexperienced developers or prolon ...

In this SBIR Phase I proposal, Kent Optronics proposes to validate a fast speed electronically Switchable Optical Filter in short wave infrared spectrum (900-1700nm).The filter enables an innovative remote sensor that can both perform normal broadband multispectral imaging and be used as a light detection and ranging (LIDAR) at 1550 nm.The two sensing modes are switched via switching the filter wi ...

For improving thermal imager performance in the presence of obscurants, Nanohmics, Inc., proposes to develop a compact, rugged, light-weight, electronically tunable bandpass filter based on microfabricated graphene-integrated metasurfaces, operating in the long-wavelength infrared (LWIR) spectral band, 7.5-12 m. With no moving parts, the proposed tunable bandpass filter is rugged and insensitive t ...

We propose CodeFault, a system that automatically gathers software development behavior and issue/vulnerability data from a number of heterogenous sources and then mines that data using machine learning techniques to generate models that help predict a range of software bugs, including potential vulnerabilities. Sources we will gather from include: the code itself (as a document), source control s ...

The DOD and robotics industry, have a critical need for a motion planning capability that is practical for real-world application of autonomous systems that perform physical motions. Current motion planning systems are too slow; they assume that the environment will be static during motion planning and execution, each of which can take on the order of seconds. Further, these systems typically gen ...

U.S. Special Operations Command (USSOCOM) missions require the ability to maneuver undetected in urban and rural environments. While Special Operations Forces (SOF) have developed Tactics, Techniques, and Procedures (TTPs) for avoiding adversarial humans and technologies, remotely deliverable deterrents for domesticated and feral canines have remained an elusive goal, sometimes compromising operat ...

Apptronik Systems Inc., in cooperation with the University of Texas Human Centered Robotics Lab (HCRL) and Huston-Tillotson University Robotics Lab (a historically black college and university HBCU), endeavor to advance the movement capabilities and modularity of the exoskeleton being developed under contract #H92222-17-C-0050. The primary goal of this program is to optimize the range of movement ...

Mortar systems are widely used within the Special Operations Force to provide organic fire support. Traditionally, due to inaccuracies in estimates of orientation, position, and environmental parameters, the first mortar fired has been unlikely to produce effects on target and is used to determine the required correction for subsequent salvos. While estimates of the enemys position have become inc ...