Static Analysis to Support DO178C, ISO 26262, IEC 61508 and EN 50128

INTRODUCTION:

Software safety certification is both an old and new reality in the embedded systems world. Developers of...

Static Analysis and IEC 62304

INTRODUCTION:

The IEC/ISO 62304 standard defines a risk and quality driven software development process for medical device...

Using Benchmarks to Assess Static Analysis Tools

Researchers from Toyota recently published a paper entitled "Test Suites for Benchmarks of " at the 26th...

MISRA and CodeSonar

INTRODUCTION:

We all have seen our Web browsers “unexpectedly close” and restart, which is usually more of an annoyance than a...

Static analysis essential for affordable safety critical software

INTRODUCTION:

Safety-critical software has hit the "unaffordable" wall due to increasing complexity and growing reliance on...