GrammaTech Used In Toyota Unintended Acceleration Investigation
(Archive News Story - Products mentioned in this Archive News Story may or may not be available from the manufacturer.)
317 N. Aurora St.
Ithaca, NY, 14850
Press release date: February 14, 2011
NASA Engineering and Safety Center analyzed Toyota Camry software with GrammaTech's CodeSonar static-analysis tool
Ithaca, NY−The U.S. Department of Transportation released the results of a 10-month National Highway Traffic Safety Administration (NHTSA) NASA investigation into potential electronic causes of unintended acceleration in Toyota vehicles. As part of the investigation, NASA experts examined more than 280,000 lines of software. NASA's analysis included performing static analysis on the software using three tools: GrammaTech CodeSonar, Coverity Prevent and Uno (a research tool that originated at Bell Labs).
In the report, NASA described CodeSonar as a "strong static source code analysis tool from GrammaTech that uses a different technology for detailed inter-procedural source code analysis. CodeSonar analysis typically takes longer to complete than comparable tools, but can reveal more subtle types of defects and suspect coding patterns, requiring deeper path analysis (which can be more time consuming).
Paul Anderson, VP of Engineering for GrammaTech, stated, "GrammaTech is proud that NASA chose our static-analysis tool for this important and demanding investigation. NASA's selection underscores that CodeSonar is the tool of choice for organizations that want to perform the deepest and most penetrating code analysis."
The full report can be found at: http://www.nhtsa.gov/staticfiles/nvs/pdf/NASA-UA_report.pdf
About GrammaTech GrammaTech's static-analysis tools are used worldwide by startups, Fortune 500 companies, educational institutions and government agencies. The staff includes thirteen PhD-level experts in programming languages and program analysis. The company has headquarters in Ithaca, NY. More information about GrammaTech can be found at www.grammatech.com
North American Sales Contact: GrammaTech, Inc., 317 North Aurora Street., Ithaca, NY 14850, Tel: +1 607-273-7340, Email: firstname.lastname@example.org, Website: www.grammatech.com.
International Sales Contacts: UK, SCANDINAVIA and CENTRAL EUROPE: SCL, Jubilee House, Jubilee Walk, Three Bridges, CRAWLEY, West Sussex, RH10 1LQ, UK, Tel: +44 (0)1293 403636, Email: email@example.com.
FRANCE: ISIT, 8 Av. Jean Mermoz, Bt. Les Diamants, 31770 COLOMIERS, FRANCE,
Tel: +33 (0)5 61 30 69 00, Fax: +33 (0)5 61 16 50 63, Email: firstname.lastname@example.org.
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: email@example.com.
KOREA: MDS Technology Co., Ltd., 15F., Kolon Digital Tower Billant, Guro3-dong, Guro-gu, Seoul, Korea, 152-777, Tel: +82-2-2106-6000, Email: firstname.lastname@example.org.
Media Contact: Barbara Stewart
Patterson & Associates 480-488-6909