Back to the catalog
Spinoff story
Tools Ensure Reliability of Critical Software
A real-world story of NASA technology finding a life beyond the mission.
About this technology
Overview
To demonstrate the feasibility of using a tool to automatically check software for compliance, the Jet Propulsion Laboratory awarded SBIR funding to GrammaTech Inc. of Ithaca, New York. Today, the software tool has hundreds of users worldwide, including Fortune 500 companies, educational institutions, and government agencies working on satellites, avionics, medical devices, and consumer electronics.