Static Analysis in Automotive SPICE
The Automotive SPICE (software process improvement and capability determination) is a software development process standard...
Tool Chain Qualification in Safety Critical Systems
Safety critical software usually entails some kind of certification, qualification or approval from a standards body in...
Getting a GRASP on Security and Privacy of Mobile Apps
INTRODUCTION:
The recent controversy surrounding the Strava fitness app has illustrated a critical security problem....
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 Minefields of MISRA Coverage
INTRODUCTION:
Modern static analysis tools are typically used for two main purposes: finding bugs, and finding violations...