Software Assurance            Software Hardening            Autonomic Computing
Homeland Security Issues Guidance on IoT Security

INTRODUCTION:

The Department of Homeland Security (DHS) published its recent IoT security guidelines after many months of...

VDC finds IoT fueling faster software development but with greater requirements for security protection

INTRODUCTION:

VDC’s recent report “Software Assembly Practices Necessitate More Precautions” highlights a significant...

Reducing Risk and Costs of DO-178B and DO-178C Certification with Static Analysis

INTRODUCTION:

DO-178C – “Software Considerations in Airborne Systems and Equipment Certification” – provides production...

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 Advantages of Hybrid Source and Binary Static Analysis

INTRODUCTION:

GrammaTech brought unique binary code analysis to the market in 2013. Before then, the only option for binary...