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

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
Strategies to Improve Software Quality Across the Development Lifecycle in 2026

Strategies to Improve Software Quality Across the Development Lifecycle in 2026

Software quality can no longer be an afterthought, it’s the foundation of innovation and customer tr...

Watch Video
Webinar: Leading into 2026: Insights for the Software-Defined Vehicle era

Webinar: Leading into 2026: Insights for the Software-Defined Vehicle era

The software-defined vehicle (SDV) era isn’t coming, it’s already here. But this shift is creating a...

Watch Video
Podcast: Speed vs. Functional Safety in Automotive Software Development: Are OEMs Solving the Wrong Problem?

Podcast: Speed vs. Functional Safety in Automotive Software Development: Are OEMs Solving the Wrong Problem?

Speed vs. Functional Safety in Automotive Software Development: Are OEMs Solving the Wrong Problem? ...

Watch Video