How Static Analysis Improves Safety and Security for Multicore Platforms
INTRODUCTION:
Multicore processors are ubiquitous in embedded devices but still pose a challenge for developing safety-critical...
Improving Quality and Security with Binary Analysis
INTRODUCTION:
Companies serious about quality, safety, and security need to manage the risks in their supply chain, including...
Static Analysis to Support DO178C, ISO 26262, IEC 61508 and EN 50128
INTRODUCTION:
Software safety certification is both an old and new reality in the embedded systems world. Developers of devices...
The ROI of Static Analysis in Safety-Critical Software Development
INTRODUCTION:
As stated in my previous post, safety-critical software is expensive to develop and static analysis tools are...
Static analysis essential for affordable safety critical software
INTRODUCTION:
Safety-critical software has hit the "unaffordable" wall due to increasing complexity and growing reliance on...