The Minefields of MISRA Coverage

INTRODUCTION:

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

Understanding DARPA's Cyber Grand Challenge: Laundromat Edition

Team TechX won second place in the DARPA Cyber Grand Challenge (CGC) last week. TechX is a collaboration between GrammaTech...

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

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