Recapping Embedded World Nuremberg 2026

The dust has finally settled in Nuremberg, but the energy from the halls of the NürnbergMesse still lingers. For the thousands of engineers, architects, and security experts who descended upon Embedded World 2026, the event was a glimpse into a future where "secure by design" is a mathematically verifiable reality.

The April 2026 Release Announcement

The centerpiece of our presence this year was the announcement of the April 2026 Release of TrustInSoft Analyzer (TISA). This release marks a strategic shift in how we integrate emerging technologies like Artificial Intelligence to make high-assurance security more accessible to every developer.

As Caroline Guillaume, CEO of TrustInSoft, noted during the event: “TrustInSoft Analyzer brings a unique level of guarantees thanks to the use of sound formal methods. This approach marries perfectly with the use of AI for analysis and testing. We combine the efficiency of AI with the measurability and accuracy of formal methods.”

Here's what we announced:

1. AI-Powered Test Driver and Stub Generation

2. Production-Grade Rust Support

3. MC/DC Coverage Analysis via Formal Methods

Technical Leadership on the Conference Stage

The conversation extended far beyond the exhibition floor. TrustInSoft’s VP of Technical Business Development, Steve Barriault, led two pivotal sessions that challenged the status quo of industrial software development.

In his first session, "How To Use Formal Methods To Detect Runtime Faults in Mixed C, C++ & Rust Codebases," Steve addressed the "elephant in the room" for many modern projects: the complexity of hybrid code. As legacy C/C++ systems are augmented with new Rust modules, the "interfaces" between these languages become prime breeding grounds for bugs.

Later that afternoon, he gave his session "Making Software Formal Verification Methods A Viable Technique In An Industrial Setting." He dismantled the myth that formal verification has to be a slow, academic process. By showing how TISA integrates into modern DevOps tools and provides clear, actionable "proofs" rather than vague warnings, he showcased a path to boost operational efficiency while simultaneously managing extreme risk.

Why It Matters: Safety, Security, and Sovereignty

The discussions at our booth reflected a shifting global landscape. With the EU Cyber Resilience Act and the U.S. Cyber Trust Mark looming, developers are increasingly worried about liability.

In automotive, the focus was on ISO/SAE 21434, ISO 26262 and the transition to Software-Defined Vehicles. In the semiconductor and IoT sectors, the priority was on preventing costly recalls caused by undefined behaviors or memory leaks. Across all these industries, the consensus was clear: traditional testing—which only proves the presence of bugs—is no longer sufficient. The industry is moving toward formal verification because it proves the absence of entire classes of vulnerabilities.

Looking Ahead

The April 2026 release of TrustInSoft Analyzer will be available to customers next month. Whether you are building the next generation of autonomous vehicles or secure IoT sensors, the message from Nuremberg is clear: You don't have to choose between speed and safety.

Thank you to everyone who visited us at Booth 4-340.

Missed us in Nuremberg? Schedule a personal demo today to see TrustInSoft Analyzer in action.