Keep informed with the latest updates from Validas and dive deep into the world of functional safety.
Categories
Deep Dive
18. December 2025
Static Analysis for Safer C/C++: Avoiding Undefined Behavior and Closing Coverage Gaps
Undefined behavior can hide in plain sight, escaping tests and creating security risks. Discover how static analysis helps catch these issues early, close coverage gaps, and boost code safety—without slowing development.
News
3. December 2025
Validas AG becomes Contributing Member of the Eclipse Foundation
Validas AG has joined the Eclipse Foundation as a contributing member, becoming part of a global community committed to open-source collaboration and innovation.
Deep Dive
28. November 2025
The Tool Safety Manual: A Lifesaving Resource
A Tool Safety Manual is more than a compliance document—it’s your roadmap to ensuring safe and reliable tool usage in critical systems. Discover the full story on the Validas Blog.
Deep Dive
19. November 2025
Optimization in Compilers: Challenges, Interdependencies, and Experimental Insights
This article provides an example where selectively deactivating a compiler optimization results in another optimization performing the same tasks as the disabled one.
Deep Dive
17. November 2025
The Impact of Disabling Atomic Optimizations on Compiler Behavior
This article gives an overview of how compiler optimizations are selectively disabled in the compilation use case. It illustrates how adding or removing a single atomic optimization flag impacts the optimizations triggered by the compiler.
News
12. November 2025
Validas AG joins new research project CONTROL
The CONTROL research project has officially launched. Led by Siemens AG and Valeo Schalter und Sensoren GmbH, it unites 24 partners from industry and academia — including Validas.
Deep Dive
5. November 2025
Libraries in Critical Systems: Efficiency Boost or Hidden Liability?
Developers often turn to libraries for speed, performance, and cost savings. But can we trust pre-written code? Are libraries reliable allies or hidden risks waiting to emerge?
Deep Dive
1. November 2025
Secure and Safe: Building Trust in Connected Systems
Cars drive themselves. Devices monitor our health. Factories run autonomously. But as safety meets connectivity, a new question emerges: What if the risk isn’t an accident—but an attack?
