Award Data

We will develop an efficient tool for formal verification of PowerPC 750 executables. The PowerPC 750 architecture is used in the radiation-hardened RAD750 flight-control computers that are utilized in many space missions. The resulting tool will be capable of formally checking: 1) the equivalence of two instruction sequences; and 2) properties of a given instruction sequence. The tool will automa ...

The proposed innovation is a set of next-generation collaboration tools and techniques utilizing standard Internet Protocols (IP). The primary use is to support 24 x 7 mission operations and telescience; secondary use includes education and public outreach. Existing first-generation 24 x 7 IP-based collaboration systems such as the International Space Station (ISS) Internet Voice Distribution Syst ...

The proposed innovation is a set of next-generation collaboration tools and techniques utilizing standard Internet Protocols (IP). The primary use is to support 24 x 7 mission operations and telescience; secondary use includes education and public outreach. Existing first-generation 24 x 7 IP-based collaboration systems such as the International Space Station (ISS) Internet Voice Distribution Syst ...

With increasing advancements in Internet technologies the generation of on-site technical experts will quickly fade. With the capability to distribute real-time data over the Internet, collaborative efforts between scientists and field experts can occur instantly between remote locations without the need for costly travel expenses. Real-time data distribution has historically been through dedicate ...

Balcones Technologies, proposes to adapt actively controlled suspension technology developed for high performance off-road vehicles to address NASA's requirement for Active Vibration Control for Ground Support Equipment (GSE). This innovative approach to meeting NASA needs exploits approximately $23M of highly successful R&D since 1993 at the University of Texas Center for Electromechanics (CEM) ...

NASA's vision of Space Exploration will require advancements in communication systems to maintain flexibility and adaptability to changing needs and requirements. The research outlined in this project will develop a hardware/software design environment that will allow NASA engineers to automatically develop flexible, reconfigurable communications systems. We will develop automated compiler algor ...

This purpose of this SBIR Phase II project is to build a prototype dual-energy CT scanner to inspect and analyze the small rocks and minerals for evidnece of fossilized life. The goal is to achieve three-dimensional volume images with 10-micron spatial resolution in the reconstructed image and to provide identification at that resolution, of both the density and the effective atomic number of the ...

This purpose of this SBIR Phase II project is to build a prototype dual-energy CT scanner to inspect and analyze the small rocks and minerals for evidnece of fossilized life. The goal is to achieve three-dimensional volume images with 10-micron spatial resolution in the reconstructed image and to provide identification at that resolution, of both the density and the effective atomic number of the ...

The objective of this study is to demonstrate the efficacy and broad applicability of the human immune-modulating alphaGal Adjuvant Technology for antiviral vaccine development. We will use viral vaccine candidates for the select Category A viral pathogens Zaire ebolavirus (ZEBOV, filovirus), Rift Valley fever virus (RVFV, bunyavirus), and Lassa virus (LV, arenavirus), to evaluate the adjuvant pot ...

Accurate CFD predictions of atomization/spray characteristics are vital to the successful design of gas turbine, rocket, and internal combustion engines. To achieve this capability, it is necessary to establish a comprehensive model for each spray sub-process. CFD Research Corporation (CFDRC) and the University of Wisconsin-Madison (UWM) will team in this STTR project to develop and validate an at ...