NASA Awards GrammaTech Contract for Eclipse Specification Editing and Discovery Tool for C/C++
ITHACA, NY – GrammaTech, Inc., a leading software developer specializing in software assurance tools and cybersecurity solutions, today announced that the company has received an award from NASA to prototype a specification editing and discovery tool (SPEEDY) for C/C++ code analysis.
Packaged as a plug-in to the Eclipse integrated development environment (IDE), the tool will assist software developers in modular formal verification tasks. SPEEDY will provide automated suggestions of specifications for given contexts, with user interface features aiding developers in generating, editing and checking specifications.
"SPEEDY will essentially be able to look over your shoulder, using machine-checkable specifications to automate sound verification and warn you if something isn't right," explained Tim Teitelbaum, GrammaTech's CEO. "The user interface features, and underlying automation in SPEEDY, will facilitate the use of formal methods by all software developers, improving efficiency and accuracy of development teams."
SPEEDY will support the needs of NASA's software-development teams and Independent Verification and Validation (IV&V) groups. The tool will be able to assist NASA personnel in evaluating the safety and robustness properties of software in production or under review, 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.
About GrammaTech and CodeSonar:
GrammaTech's static analysis tools are used worldwide by Fortune 500 companies, educational institutions, startups and government agencies. The staff includes 15 PhD experts in static analysis and a superb engineering team, all focused on creating the most innovative and in-depth analysis algorithms. The company's flagship product, CodeSonar, is a sophisticated static analysis tool that performs a whole-program, interprocedural analysis on C/C++, Java and binary code, identifying complex programming bugs that can result in serious reliability or security problems. More information about CodeSonar can be found on our website at http://www.grammatech.com/codesonar.
CodeSonar is a registered trademark of GrammaTech, Inc. Brand or product names are registered trademarks or trademarks of their respective holders.
The URL for this release is located at: http://www.grammatech.com/news/releases/nasa-contract-for-eclipse-specification-editing-discovery-tool
GrammaTech Sales Contacts:
North America: GrammaTech, Inc., 531 Esty Street, Ithaca, NY 14850, Tel: +1 607-273-7340, Email: info@grammatech.com, website: www.grammatech.com.
UK, Scandinavia: SCL, Jubilee House, Jubilee Walk, Three Bridges, Crawley, West Sussex, RH10 1LQ, UK, Tel: +44 (0)1293 403636, Email: info@scl.com.
Germany, Austria, Switzerland: Verifysoft Technology GmbH, In der Spoek 10-12, 77656 Offenburg, Germany, Tel: +49(0) 781 127 8118-0, Fax: +49(0) 781 63 920- 29, E-mail: info@verifysoft.com.
France: ISIT, ZA La Menude – 7 rue Andre Marie Ampere, 31830 Plaisance Du Touch, France, Tel:
+33 (0)5 61 30 69 00, Fax: +33 (0)5 61 16 50 63, Email: contact@isit.fr.
Israel: Pertech Embedded Solutions, 10 Zarchin Street, Raanana 43662, Israel; Tel:
+972-9-7711418; Email: info@pertech.co.il.
Japan: A.I. Corporation, Iijima Bldg, 2-25-2, Nishigotanda, Shinagawa-ku, Tokyo, 141-0031, Japan,
Tel: +81-3-3493-7981, Fax: +81-3-3493-7993, Email: sales@aicp.co.jp.
Korea: MDS Technology Co., Ltd., 15F., 3FL. Hancom Tower, 49, Daewangpangyo-ro 644 Beon-gil Bundang-gu Seongnam-si, Gyeonggi-do; 463-400, Republic of Korea, Tel: +82-31-627-3000, Fax:
+82-31-627-3100, Email: grammatech@mdstec.com.
