July 20, 2009
Paul Anderson in Boards & Solutions
Jurgen Hubner of Boards & Solutions in the UK published the article Trends in Safety-Critical Coding and Testing Practices by Paul Anderson on pages 32-33 in the June issue.
The article examines the role and enforcement of coding standards for safety-critical software systems, such as those used in medical devices. It also describes how advanced static analysis tools like GrammaTech CodeSonar® can be used to check software for compliance with coding standards such as the Power of Ten rule set.
CodeSonar already allows users to create custom checks on many of the program features governed by coding standards; CodeSonar 3.4, announced on March 31, will include explicit checks for compliance with Power of Ten rules.
See the full June issue of Boards & Solutions (pdf) on the Embedded Know-How website.
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: info@grammatech.com