Initially designed for avionics applications, GrammaTech’s CodeSonar has a proven history in safety-critical systems and is currently used by the world’s largest aerospace manufacturers. CodeSonar’s first application within the automotive industry was analyzing software that controls welding robots. Based on the success of that project, and similar industrial-control applications, automotive manufacturers now use CodeSonar to examine software within automotive systems, such as powertrain and chassis control, safety and in-vehicle infotainment. Regulatory agencies also use CodeSonar for forensic investigations. For example, CodeSonar was used in the high-profile U.S. National Highway Traffic Safety Administration/NASA investigation into potential electronic causes of unintended acceleration in Toyota vehicles.
Two trends are fueling the company’s growth in the automotive market. The first trend is the increase of in-vehicle infotainment systems. The rapid innovation and large codebases associated with in-vehicle infotainment systems make traditional software-assurance methods difficult to apply. The second trend is the growing complexity of critical control software that is much more difficult to test and analyze.
“A modern automobile can easily contain more than ten million lines of code,” stated Paul Anderson, GrammaTech’s vice president of Engineering. “In such environments, the limitations and expense of traditional testing become evident. Companies are adopting automated testing technologies, such as the CodeSonar static-analysis tool, as an efficient way to boost reliability and solve complex problems.”
Another factor contributing to software complexity is the adoption of multi-core processors. “Multi-core improves performance, but it also makes reliability more challenging because software written for multi-core is very susceptible to concurrency bugs,” continued Anderson. “Dynamic testing finds defects that occur for particular executions of a program with a fixed set of inputs, whereas static analysis finds concurrency errors by exploring all or most possible executions—this exercises the program much more thoroughly than is feasible with dynamic testing. Another advantage of static analysis is that test cases are not required because the program is never actually executed.”
Looking forward, Paul sees a further challenge emerging for the industry: security. “As automobiles become more network-enabled, they are more susceptible to cyberattack. Researchers at the University of California, San Diego, and the University of Washington demonstrated an attack in which they were able to gain control of a car’s security system. Security is a multi-faceted problem and requires doing many things right. Good security architecture is obviously essential. But it turns out that a large percentage of attacks exploit programming defects. Static analysis has the ability to identify many of the programming defects that commonly create vulnerabilities, such as buffer overruns.”
CodeSonar is a sophisticated static-analysis tool that performs a whole-program, interprocedural analysis on C/C++ code and identifies complex programming bugs that can result in system crashes, memory corruption, concurrency errors and other serious problems. CodeSonar has long been the software-analysis tool of choice for embedded developers working on mission-critical applications such as satellites, avionics, industrial controls and medical devices. Companies outside the safety-critical space are also adopting CodeSonar to improve software reliability and security. This includes organizations developing software for wireless devices, networking equipment and consumer electronics.
GrammaTech’s static-analysis tools are used worldwide by startups, Fortune 500 companies, educational institutions and government agencies. The staff includes 13 PhD-level experts in programming languages and program analysis. The company has offices in New York and California. More information about GrammaTech can be found at www.grammatech.com.
CodeSonar is a registered trademark of GrammaTech, Inc. All other trademarks are property of their respective companies.
The URL for this release is located at: http://www.grammatech.com/news/2012/releases/02-28-12.html
GrammaTech Sales Contacts:
North America: GrammaTech, Inc., 531 Esty Street, Ithaca, NY 14850, Tel: +1 607-273-7340, Email: [email protected], Website: www.grammatech.com.
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 protected]
France: ISIT, 8 Av. Jean Mermoz, Bât. Les Diamants, 31770 Colomiers, France, Tel: +33 (0)5 61 30 69 00,
Fax: +33 (0)5 61 16 50 63, Email: [email protected]
Israel: Pertech Embedded Solutions, 10 Zarchin Street, Raanana 43662, Israel, Tel: +972-9-7711418, Email: [email protected]
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 protected]
Korea: MDS Technology Co., Ltd., 15F., Kolon Digital Tower Billant, Guro3-dong, Guro-gu, Seoul, Korea, 152-777, Tel: +82-2-2106-6000, Email: [email protected]
Patterson & Associates
Contact via Email
Click here to read the full story: Major Automotive Manufacturers Adopt Automated Software Testing Technologies for Improved Reliability and Security