openPR Logo
Press release

CodeSonar 4.1 Certified for Use in Developing Safety-Critical Software

03-24-2016 02:47 PM CET | IT, New Media & Software

Press release from: GammaTech

/ PR Agency: PR-Agentur Lorenzoni GmbH
GrammaTech, a leading provider of software assurance tools and cyber-security solutions, today announced that CodeSonar, the company's flagship 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.
"The automation and thoroughness that static analysis provides is crucial for supporting safety-critical software development and for ensuring adherence to safety standards," explained Paul Anderson, VP of Engineering and GrammaTech. "As functional safety standards have become more prominent, we have continued to add new static checks and additional features into CodeSonar so it can support our customer's compliance with these standards."
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).

About GrammaTech (www.grammatech.com)
GrammaTech tools are used by software developers worldwide, spanning a myriad of industries including avionics, automotive, government, medical, and other applications where reliability, safety, and security are paramount. Born from research carried out at Cornell University, GrammaTech continues to advance the science of software assurance, software hardening, and autonomic computing, providing techniques and technology for software teams to produce safer and more resilient software.

GrammaTech, Inc., 531 Esty Street, Ithaca, NY 14850, USA;
Tel: +1-607-273-7340, sales@grammatech.com

Agentur Lorenzoni GmbH, Public Relations, Landshuter Str. 29, 85435 Erding; ph.: +49 8122 55917-0; www.lorenzoni.de;
Beate Lorenzoni, beate@lorenzoni.de

This release was published on openPR.

Permanent link to this press release:

Copy
Please set a link in the press area of your homepage to this press release on openPR. openPR disclaims liability for any content contained in this release.

You can edit or delete your press release CodeSonar 4.1 Certified for Use in Developing Safety-Critical Software here

News-ID: 328266 • Views:

More Releases for GrammaTech

Static Code Analysis Software Market will reach at $ 34.3 bn by 2032, with Top K …
Static Code Analysis Software Market will reach at $ 34.3 bn by 2032 at CAGR 23.2 %. Static code analysis is a process of debugging by examination of source code prior to running of a program. It is performed by inspecting a set of code against a set or different sets of coding rules. This analysis is carried out to ensure that the program will function efficiently as required. Key
Static Application Security Testing Software Market Regional and Company Analysi …
DeepResearchReports has uploaded a latest report on Static Application Security Testing Software Industry from its research database. Static Application Security Testing Software Market is segmented by Regions/Countries. All the key market aspects that influence the Static Application Security Testing Software Market currently and will have an impact on it have been assessed and propounded in the Static Application Security Testing Software Market research status and development trends reviewed in
Software Assurance Market is Booming Worldwide with Microsoft, GrammaTech, Uniqu …
Advance Market Analytics published a new research publication on "Software Assurance Market Insights, to 2026" with 232 pages and enriched with self-explained Tables and charts in presentable format. In the Study you will find new evolving Trends, Drivers, Restraints, Opportunities generated by targeting market associated stakeholders. The growth of the Software Assurance market was mainly driven by the increasing R&D spending across the world. Some of the key players profiled in
Software Assurance Market - Top Manufacturers Profiled are Meteor Telecommunicat …
A comprehensive analysis of the “Global Software Assurance Market 2017 -2022” is been done in this intelligence report. It includes the investigations done on the past progress, ongoing market scenarios, and future prospects. An accurate data of the products, strategies and market shares of leading companies in this particular market is mentioned. This report presents a 360-degree overview of the competitive scenario of the global market. Software is an important constituent
GrammaTech Selected by US Government for Five New Cybersecurity Projects
Ithaca, NY (USA) – May 3, 2016 — GrammaTech, a leading provider of software assurance, hardening, and cyber-security solutions, has been selected by the US Government to receive five research contracts that will advance techniques and technologies in static analysis and software protection. GrammaTech’s research teams will continue their focus on solving the most challenging issues impacting embedded device software. This new set of research projects will augment the company’s
GrammaTech Adds Hardening Techniques to Software Assurance Portfolio
Ithaca, NY (USA) — April 25, 2016 — GrammaTech, a leading provider of software assurance, hardening, and cyber-security solutions, today announced the development of technologies for advanced software hardening. Most devices on the market today were not designed to support the high levels of connectivity, access, and remote operations of today’s IoT systems. GrammaTech’s software-hardening tools and techniques complement the company’s static analysis products and services, helping teams develop