Linux Foundation’s ELISA Project to Bring Linux to Safety Critical Systems

The Linux Foundation’s announcement of the ELISA (Enabling Linux in Safety Applications) project was of interest to us...

Tool Chain Qualification in Safety Critical Systems

Safety critical software usually entails some kind of certification, qualification or approval from a standards body in...

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