When Code Drifts From Its Architecture with Dr. Daniel Simon

Dr. Daniel Simon joins Erik on the podcast to talk about why the structure of safety critical software decides how safely it can be built and changed. Daniel is Distinguished Solutions Engineer at Qt Group, a member of the R&M Safety Partner Ecosystem. He co-originated Axivion Architecture Verification out of research at the University of Stuttgart and stayed with the work after Qt Group acquired Axivion. They cover what architecture verification checks, and why documented architectures go stale a few years into a project. Daniel explains why moving compute intensive code from CPU to GPU is an architectural exercise rather than a refactor. He also walks through the Axivion work on CUDA, including the collaboration with NVIDIA on their safety coding rules. The conversation ends on AI generated code and what it does to the person who has to sign off on it. Daniel is also speaking at the R&M Physical AI & Safety Summit on October 13 in Boston at MassRobotics, where he will cover why deterministic verification and emerging AI trust methods under IEC 61508 and ISO/IEC 22440 have to coexist as robotics teams pursue certification. The Summit is free to attend, and an evening reception at Qt Group follows. The next 2 days at MassRobotics, Reynolds & Moore is running Understanding ISO/IEC TS 22440, a training in collaboration with SafetyCert.AI. Register for the Summit: https://wkf.ms/4cdJRlF Register for the 2-Day Training: https://wkf.ms/4gBG3Mj More on Qt Group: https://www.qt.io/ Check out our work: https://reynolds-moore.com/