Qt Group Joins the Reynolds & Moore Safety Partner Ecosystem: Building the Verified Foundation for Physical AI

When Complexity Grows Faster than the Ability to Verify it

In safety-critical development, code defects are only half the risk. The other half is architectural: systems drift away from their intended design through shortcuts and accumulated change, and the later that drift is found, the more it costs to fix. At the same time, modern systems are turning hybrid, so deterministic software now carries AI-driven, non-deterministic behavior on top, and verifying the two requires different disciplines that organizations usually must source separately.

This partnership puts both in one place.

What Qt Group Brings: Verification of the Deterministic Layer

At the code level, Axivion Static Code Analysis automatically checks C, C++, and CUDA code against MISRA, AUTOSAR C++14, CERT, CWE, NVIDIA's CUDA C++ safety guidelines, and custom rules. It is certified by SGS-TÜV Saar for safety-related development up to ISO 26262 ASIL D, IEC 61508 SIL 4, and IEC 62304 Class C, with Qualification Kits to qualify the tool in your safety toolchain.

At the architecture level, Axivion Architecture Verification protects the design itself: the asset that defines your safety boundaries and carries your certification argument. It continuously confirms that what your team builds still matches what was designed. Deviations surface as part of the CI/CD Quality Gating, when fixing them is still a small correction, not when they have slipped into the shared code base where redesign and re-certification would cause delays and cost increases. Large existing codebases can start by baselining current findings, so only new deviations are reported.

What Reynolds & Moore Brings: Safety Assurance for AI and Autonomy

Reynolds & Moore complements code quality tools by providing system-level functional safety engineering, including hazard and risk analysis, safety architecture development, verification and validation, and safety case support for systems incorporating AI and other non-deterministic behaviors.

Three Principles This Partnership Brings to Safety-Critical Projects

• One coordinated approach. Code quality, architecture integrity, and AI safety assurance from partners with aligned scopes, with no gap between tool vendor and functional safety consultancy.
• Evidence that feeds the safety case. Axivion's compliance reports and deviation findings are objective evidence that flows directly into the safety case R&M develops.
• Problems found earlier. A violation caught at the developer's desk costs a fraction of one found at assessment. The partnership moves discovery earlier across the whole system.