The February/March edition of Medical Design Technology contains "Safety Critical Coding Standards Reduce Medical Device Risks", by GrammaTech's Paul Anderson.
The article discusses the use of static analysis tools to address the real – and sometimes serious – issue of medical device failures attributable to software. Tools like GrammaTech's CodeSonar® can be used both to find program bugs and to enforce coding standards to reduce the likelihood of future problems.
View the March edition of Medical Design Technology: ActiveMagazine, 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 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