TMCnet News
GrammaTech's CodeSonar Highlighted in NASA's Spinoff Magazine(ENP Newswire Via Acquire Media NewsEdge) ENP Newswire - 21 March 2012 Release date- 19032012 - Ithaca, New York - GrammaTech's contributions to ensuring the reliability of critical software at NASA were recently highlighted in the 2011 issue of NASA Spinoff magazine. The article, 'Tools Ensure Reliability of Critical Software,' discusses the partnership between NASA's Jet Propulsion Laboratory and GrammaTech in adapting CodeSonar, GrammaTech's existing software analysis tool, to include verification of The Power of 10: Rules for Developing Safety Critical Code. Developed by Gerard Holzmann, director of NASA/JPL's Laboratory of Reliable Software (LaRS), the Power of 10 coding standard is designed to reduce risk and provide more consistency in critical software development, helping to make computer systems safer and more reliable. 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 been used by NASA on a wide variety of applications, including the Mars Curiosity Rover, satellites, and ground stations. Published annually, NASA's Spinoff Magazine highlights the many ways NASA translates its air and space missions into ' societal benefits for people everywhere.' GrammaTech Senior Scientist, Michael McDougall, cited in the NASA Spinoff article, discusses the GrammaTech JPL partnership, the enhancements to CodeSonar to include the Power of 10 checks, and the expanded use of the tool in companies outside the safety-critical space including organizations developing software for wireless devices, networking equipment and consumer electronics. View the magazine online here: http://www.sti.nasa.gov/tto/Spinoff2011/index.html. About GrammaTech GrammaTech's static-analysis tools are used worldwide by startups, Fortune 500 companies, educational institutions, and government agencies. The staff includes thirteen researchers with PhDs in programming languages and program analysis. More information about GrammaTech can be found at www.grammatech.com. GrammaTech, Inc. 531 Esty Street Ithaca, NY 14850 USA phone: 607-273-7340 fax: 607-273-8752 e-mail: [email protected] [Editorial queries for this story should be sent to [email protected]] ((Comments on this story may be sent to [email protected])) (c) 2012 Electronic News Publishing - |