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
Future-Proofing Physical AI Systems for Certification Readiness
Physical AI systems are rapidly transforming industries such as robotics, autonomous systems, indust...
Watch Video
CRA-ready in der industriellen Automatisierung: Von der Entwicklung bis zur Integration
Industrielle Softwareteams arbeiten unter zunehmendem Druck - knappe Budgets, CRA-Compliance-Fristen...
Watch Video
Webinar: MISRA Monday 2026
MISRA compliance is non-negotiable, if you develop software for automotive, aerospace, medical, or i...
Watch Video
Video Podcast: Five Things From Auto China 2026 That Should Change Your SDV Roadmap
The modern in-vehicle experience starts in the architecture underneath the cockpit. The world’s bigg...
Watch Video