Formal Methods To Improve Code Quality
(adacore.com)
Formal methods offer a rigorous, mathematical approach to verifying that your firmware does exactly what it’s supposed to do. Learn how these techniques can catch bugs that testing alone will miss.
Zephyr RTOS Sensor API: Unlock On-Board Temperature Sensing
(Beningo.com)
Stop writing custom register-level code for every new sensor. The Zephyr Sensor API standardizes sensor access through sensor_sample_fetch() and sensor_channel_get(), letting you swap sensors without changing application code. This walkthrough demonstrates the approach on the FRDM-MCXN947 with its built-in P3T1755 temperature sensor.
Technical Debt is Eating Your Firmware Alive – 3 Steps to Fight Back
(DesignNews.com)
Every shortcut you’ve taken in your firmware is compounding with interest. Technical debt doesn’t just slow you down – it’s actively degrading your product quality, your team’s velocity, and your ability to ship on time. Here are three practical steps to stop the bleeding and start paying it down.
NASA’s $72M Lunar Mission Killed by “The Stupidest Glitch Imaginable”
(Gizmodo.com)
A $72 million lunar mission was destroyed in a single day by what’s being called “the stupidest glitch imaginable.” It’s a sobering reminder that firmware quality isn’t optional – especially when your hardware is 238,000 miles away with no debugger attached.
AI Wrote the Code – Who Owns the Risk?
(RunSafe Security – Exploited Podcast, S2E1)
I joined the RunSafe Security podcast to discuss what happens when AI-generated code creates vulnerabilities in embedded systems. Who’s liable? How do you validate AI output for safety-critical firmware? The conversation covers risk ownership, security implications, and practical frameworks for teams adopting AI in their workflows.
Embedded World 2026 Recap: AI, Safety, and the Tools That Stood Out
(Beningo.com)
Embedded World 2026 is in the books. Here are the trends, tools, and conversations that stood out from this year’s show in Nuremberg.