Software Assurance            Software Hardening            Autonomic Computing
Advanced Driver Assistance, Safety, and Static Analysis
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...

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

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