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...

The ROI of Static Analysis in Safety-Critical Software Development

INTRODUCTION:

As stated in my previous post, safety-critical software is expensive to develop and static analysis tools are...

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...