Software Assurance            Software Hardening            Autonomic Computing
Reducing the Risk of the Software Supply Chain in Medical Devices

INTRODUCTION:

Medical devices rely on third-party and in-house existing software as needed, to meet functionality, cost, and...

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

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