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

Advanced Driver Assistance, Safety, and Static Analysis to Support ISO 26262
INTRODUCTION:

Advanced Driver Assistance Systems (ADAS) are a key area of innovation in automotive electronics, but their...

How Static Analysis Improves Safety and Security for Multicore Platforms

INTRODUCTION:

Multicore processors are ubiquitous in embedded devices but still pose a challenge for developing...

Improving Quality and Security with Binary Analysis

INTRODUCTION:

Companies serious about quality, safety, and security need to manage the risks in their supply chain, including...

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

INTRODUCTION:

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