GrammaTech is a leading developer of software-assurance tools and advanced cyber-security solutions. They help organizations develop and release high-quality software, free of harmful defects, and exploitable weaknesses that cause system failures, enable data breaches, and increase corporate liabilities.

GrammaTech aims to help customers, partners, and government sponsors solve the most challenging software issues, safeguarding embedded mission-critical devices from failure and cyber attack. With their security-first software design philosophy, you can rely on GrammaTech to help you design, develop, and deploy trusted software applications.

Pushing the boundaries of software research and development, from software assurance and software integrity, to cyber security threat mitigation and autonomic computing, innovation is at the heart of GrammaTech.

Unlike other traditional tools vendors, GrammaTech's mission balances a commercial business with a very strong research arm. Their staff, including over 20 PhDs, are focused on the most challenging software issues impacting the embedded, M2M, and IoT equipment markets, through a stream of highly innovative research programs advancing techniques and technologies in software analysis, transformation, monitoring, and autonomic functions.

“GrammaTech is proud to join the Arm Functional Safety Partner Program. Our unique static analysis tools help our joint customers assess safety risk in both source code as well as in binary code compiler for the Arm architectures, allowing our customers to perform software risk assessments during software development, procurement and operation of safety critical devices.”

Vince Arneja, Chief Product Officer.

Functional Safety related services

GrammaTech provides static analysis tools that help customers build safety critical systems. Their tools are used during the software development process, helping customers detect coding standard violations, and detect software and security defects early in the software development lifecycle. GrammaTech CodeSonar helps safety-related projects not only satisfy their safety requirements, but also satisfy security standards such as IEC 62443.

GrammaTech provides a Functional Safety Documentation Kit with certificates and related documentation for functional safety standards IEC 61508, ISO 26262, and CENELEC EN 50128. These documents help your functional safety manager understand how to incorporate static analysis into the certification process, saving you headcount, schedule time, and cost.

CodeSonar has been used in many software projects in industrial, automotive, and transportation, but also in medical projects. CodeSonar has even been used by the US FDA itself in studies on the safety of medical products.

In the aviation industry, many customers have used GrammaTech CodeSonar for DO-178C related projects and GrammaTech works with these customers closely to satisfy their needs.

Static analysis assists with the functional safety requirements for a project. But even outside of that requirement, it is a software development best-practice and GrammaTech and its global network of distributors work closely with customers to introduce static analysis into projects and ensure a rapid return on investment.