How to Develop Certified Software

  • Reducing Risk and Costs of DO-178B and DO-178C Certification with Static Analysis

    Reducing Risk and Costs of DO-178B and DO-178C Certification with Static Analysis

    INTRODUCTION: DO-178C – “Software Considerations in Airborne Systems and Equipment Certification” – provides production guidelines for software that is to be used in airborne systems,...

    Read Article
  • Accelerating Automotive Software Safety with MISRA and Static Analysis

    Accelerating Automotive Software Safety with MISRA and Static Analysis

    INTRODUCTION: The MISRA C/C++ coding guidelines were created based on concerns about the ability to safely use the C and C++ programming languages in critical automotive systems. Since...

    Read Article
  • The Minefields of MISRA Coverage

                 INTRODUCTION: Modern static analysis tools are typically used for two main purposes: finding bugs, and finding violations of coding standards. The primary purpose...

    Read Article
  • Static Analysis, Safety-Critical Railway Software, and EN 50128

    Static Analysis, Safety-Critical Railway Software, and EN 50128

    INTRODUCTION: Transportation systems and, in particular, railway systems, are growing markets that increasingly rely on software for command, communication, and control. Due to the...

    Read Article
  • How Static Analysis Can Accelerate Software Safety Certification

    How Static Analysis Can Accelerate Software Safety Certification

    INTRODUCTION: Software safety certification is both an old and new reality in the embedded systems world. Developers of devices such as avionics systems have been using strict...

    Read Article
  • Static Analysis and IEC 62304

    Static Analysis and IEC 62304

    INTRODUCTION: The IEC/ISO 62304 standard defines a risk and quality driven software development process for medical device software. The standard emerged from a recognition that...

    Read Article
  • How to Avoid Common Pitfalls in MISRA Compliance

    How to Avoid Common Pitfalls in MISRA Compliance

    Read the document
  • Performing a Security Audit with CodeSonar7:42

    Performing a Security Audit with CodeSonar

    In this tutorial, we describe how to approach security auditing, using CodeSonar.

    Watch Video
  • GrammaTech Announces First Fully Compatible Static-Analysis Tool for MITRE's Common Weakness Enumeration Security Standard

    ITHACA, NY — GrammaTech, Inc., a leading provider of source-code analysis tools, declared today that CodeSonar Enterprise is the first static-analysis tool that is compatible with all...

    Read Article
  • loading
    Loading More...