About this episode

In this episode, Eberhard Wolff discusses the role of formal methods in software architecture with Dr. Lars Hupel, focusing on their application in ensuring system security.

Wenn Systeme bestimmte Eigenschaften wie Sicherheit garantieren müssen, können formale Methoden diese Eigenschaften beweisen - ähnlich wie bei einem mathematischen Beweis. In der Finanzbranche will man beispielsweise sicherstellen, dass nicht in den Systemen irgendwo Geld verschwindet. Welche Rolle spielen solche Methoden im Software-Architektur-Alltag und wie kann man sie gewinnbringend nutzen? Das diskutieren wir mit Dr. Lars Hupel, Chief Evangelist bei Giesecke+Devrient. Lars spricht beim iSAQB Software Architecture Forum. Mit dem Code SATV15SAF gibt es 15% Rabatt. https://conferences.isaqb.org/software-architecture-forum/

People in this episode

Host: Eberhard Wolff

Guest: Dr. Lars Hupel

Topics covered

• formale Methoden
• Software-Architektur
• Sicherheit
• Finanzbranche
• mathematische Beweise

Keywords

• formale Methoden
• Software-Architektur
• Sicherheit
• Finanzbranche
• mathematische Beweise
• Giesecke+Devrient
• iSAQB

Sponsors

iSAQB Software Architecture Forum

Mentioned in this episode

Organizations: Giesecke+Devrient

Products: SATV15SAF

More episodes of Software Architektur im Stream

• How AI Succeeds — Insights from Manufacturing Applications with Nikita Golovko · April 20, 2026
• Anarchy: A Solution to Software Development Organizations? with Andrew Harmel-Law · April 10, 2026 · 1h 2m
• Michael Stal: Analyse großer Softwaresysteme mit LLMs · April 7, 2026
• Independent Service Heuristics: Wie unabhängig ist dein Service wirklich? · March 27, 2026
• CircleK eMobility Journey Towards Effective Cross-functional Value Streams (Eduardo da Silva, Guro Fladvad Størdal) · March 18, 2026
• Splitting without Splitting (Tsvetelina Plummer, Pricillia Gunawan) · March 17, 2026

Explore listener stats, chart rankings, contacts and more on the Software Architektur im Stream podcast page.