GrammaTech: CodeSonar 4.1 certified for use in developing safety-critical software

GrammaTech announced that CodeSonar, the company's static analysis software, has again been certified for use in the development of safety-critical software. SGS TÜV Saar GmbH deemed CodeSonar 4.1 certifiable according to the ISO 26262, IEC 61508, AND EN 50128 international standards, which define the functional safety of electronics within industrial applications, automotive systems, medical devices, and railway applications.

Functional safety standards are becoming more prevalent in international markets, as the use of software in mission-critical and safety-critical applications continues to grow and the need for better safety and security continues to be a pressing issue. Static analysis simplifies the enforcement of coding standards across development teams, improving the overall compliance for a required certification standard while also improving the quality of the code. CodeSonar in particular provides key features and integrations to encourage efficiency among teams.

CodeSonar currently supports compliance with MISRA C: 2004 and 2012, ISO 26262, DO 178B, DISA STIG, FDA, MITRE's CWE, NASA'S JPL rules, and U.S. CERT's Build Security In (BSI).

More Information...

Latest News from GrammaTech

GrammaTech: Risk Dashboard, a new feature in CodeSonar 4.5
GrammaTech: focus on cyber-security at embedded world
GrammaTech: software hardening for securing IoT devices
GrammaTech’s team TECHx places second in DARPA’s Cyber Grand Challenge
GrammaTech enhances CodeSonar offering for large-scale enterprise teams
GrammaTech adds hardening techniques to software assurance portfolio
GrammaTech announces binary analysis support for ARM
GrammaTech: CodeSonar 4.1 certified for use in developing safety-critical software