The Minefields of MISRA Coverage

INTRODUCTION:

Modern static analysis tools are typically used for two main purposes: finding bugs, and finding violations of...

Static Analysis, Safety-Critical Railway Software, and EN 50128

INTRODUCTION:

Transportation systems and, in particular, railway systems, are growing markets that increasingly rely on...

Tackling the Software Development Challenges of the Industrial Internet of Things (IIOT)

INTRODUCTION:

The Internet of Things is coming to industrial systems in a big way (the “IIOT”). But IIOT isn't just IOT with an...

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