NASA Spinoff Database: Tools Ensure Reliability of Critical Software

NASA Center: Jet Propulsion Laboratory
Public Release Year: 2011
Reference Number: JPL-SO-183
Category: Computer Technology
Origin: Software development rules to help reduce risk and provide consistency

Abstract:
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.

Full Article:
http://hdl.handle.net/hdl:2060/20120001915

Page Number in Published book: 138
Manufacturer: GrammaTech Inc.
Website: www.grammatech.com

Documents in PDF format require the Adobe Acrobat Reader. If you experience problems with PDF documents, please download the latest version of the Reader.