Software Assurance            Software Hardening            Autonomic Computing
How to Use Static Analysis to Improve NERC Critical Infrastructure Protection Compliance

INTRODUCTION:

Securing connected industrial control systems (ICS) or Supervisory Control and Data Acquisition (SCADA) for...

Software Forensics: Beyond the Law

INTRODUCTION:

Traditionally, the term "forensics" is the use of science to discover evidence of criminal activity. Extending...

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