Tool Chain Qualification in Safety Critical Systems
Safety critical software usually entails some kind of certification, qualification or approval from a standards body in order...
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 use...
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-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++...