GrammaTech Awarded NASA Contract for Automated Code Specification Tool

April 24, 2014

GrammaTech, Inc., a leading maker of tools that improve and accelerate software development, today announced that the company has been awarded additional funding to continue developing SPEEDY. SPEEDY is a specification and editing tool that GrammaTech has been developing within a SBIR contract with NASA. The tool is packaged as a plug-in to the Eclipse IDE, and provides developers with automated suggestions and UI features that help in generating, editing, and checking specifications.

NASA awarded additional funding for Phase 2 development of this tool, based on the success of GrammaTech’s initial research in developing a prototype of the tool in Phase 1 development.

"Tools and techniques for generating and checking specifications are becoming increasingly important in improving the quality and safety of software," said Tim Teitelbaum, GrammaTech CEO. "The framework of the software will be able to be developed both as an industrial-strength tool as well as a research platform for future exploration of software specifications."

In addition to complementing GrammaTech’s static analysis software, CodeSonar, SPEEDY will support the needs of NASA’s software development teams and IV&V groups. Specifically, NASA will be able to use the tool in evaluating the safety of software in avionics and space applications.

About GrammaTech:
Originally founded as a spin-off from Cornell University to commercialize software developed by Tim Teitelbaum and Thomas Reps at Cornell’s computer science lab, GrammaTech is a leading developer of software-assurance tools and advanced cyber-security solutions. GrammaTech’s tools are used by software developers worldwide, spanning a myriad of industries including avionics, medical, industrial control, and other applications where reliability and security are paramount. With both static and dynamic analysis techniques that analyze source code as well as binary executables, GrammaTech provides superior static analysis for better software.

Previous Article
GrammaTech Awarded Air Force Contract to Secure High-Assurance Software


Next Article
NASA Awards GrammaTech Contract for Eclipse Specification Editing and Discovery Tool for C/C++