Software Assurance            Software Hardening            Autonomic Computing
Getting a GRASP on Security and Privacy of Mobile Apps

INTRODUCTION:

The recent controversy surrounding the Strava fitness app has illustrated a critical security problem....

Accelerating Automotive Software Safety with MISRA and Static Analysis

INTRODUCTION:

The MISRA C/C++ coding guidelines were created based on concerns about the ability to safely use the C and C++...

The Minefields of MISRA Coverage

INTRODUCTION:

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

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