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

Step One: Security Assurance for IoT Devices - Security First Design

INTRODUCTION:

The Stuxnet malware was a wake-up call for embedded device security when it became public knowledge in 2010.  Its...