GrammaTech, a software developer specializing in software assurance tools and cybersecurity technology, received an award from NASA to prototype a specification editing and discovery tool (SPEEDY) for C/C++ code analysis.

SPEEDY screenshot
Packaged as a plug-in to the Eclipse integrated development environment (IDE), the tool will assist software developers in modular formal verification tasks. SPEEDY provides automated suggestions of specifications for given contexts, with user interface features aiding developers in generating, editing, and checking specifications.

SPEEDY will support the needs of NASA’s software-development teams and Independent Verification and Validation (IV&V) groups. The tool will assist NASA personnel in evaluating the safety and robustness properties of software in production, including embedded next generation avionics and space software. The tool will also serve as a natural companion to the heuristic bug-finding and style-checking tools GrammaTech has completed for NASA’s Jet Propulsion Laboratory (JPL) in the past.

Specification Editing and Discovery Tool (SPEEDY)
Ithaca, NY

For Free Info Click Here 

NASA Tech Briefs Magazine

This article first appeared in the November, 2013 issue of NASA Tech Briefs Magazine.

Read more articles from this issue here.

Read more articles from the archives here.