Skip to main content
View All Resources

Verifying Software Architecture in Practice

We demonstrate the automatic verification of low-level C/C++ code against a high-level architecture model. The model can be specified using a UML CASE tool or through an architecture-as-code approach in Python. We emphasize both interactive use for software architects and non-interactive use in CI/DevOps environments.

Oh, here is more

Ensuring Compliance with NVIDIA’s CUDA C++ Guidelines for Robust & Safety-Critical Programming

Ensuring Compliance with NVIDIA’s CUDA C++ Guidelines for Robust & Safety-Critical Programming

Technical Deep Dive on Using the Only Automated Checker Tool for Continuous Architecture & Code ...

Watch Video
Webinar: ASPICE in Two Weeks: How AI Transforms Embedded QA

Webinar: ASPICE in Two Weeks: How AI Transforms Embedded QA

Qt Group provides an integrated Quality Assurance (QA) solution to one of the world’s largest automo...

Watch Video
Webinar: When Healthcare HMI and Hardware Fail: Lessons in Building Safe, Compliant, and Future-Proof HIT Systems

Webinar: When Healthcare HMI and Hardware Fail: Lessons in Building Safe, Compliant, and Future-Proof HIT Systems

This webinar is part of a two-part series that explores how medical Human–Machine Interfaces (HMIs) ...

Watch Video
Webinar: Safe, Smart, Seamless: Navigating HMI Hurdles in Lab Equipment

Webinar: Safe, Smart, Seamless: Navigating HMI Hurdles in Lab Equipment

This webinar is part of a two-part series that explores how medical Human–Machine Interfaces (HMIs) ...

Watch Video