Reducing Risk and Costs of DO-178C Certification with Static Analysis
INTRODUCTION:
DO-178C – “Software Considerations in Airborne Systems and Equipment Certification” – provides production...
The Minefields of MISRA Coverage
INTRODUCTION:
Modern static analysis tools are typically used for two main purposes: finding bugs, and finding violations of...
Understanding DARPA's Cyber Grand Challenge: Laundromat Edition
Team TechX won second place in the DARPA Cyber Grand Challenge (CGC) last week. TechX is a collaboration between GrammaTech and...
Reducing the Risk of the Software Supply Chain in Medical Devices
INTRODUCTION:
Medical devices rely on third-party and in-house existing software as needed, to meet functionality, cost, and...