itk Kontakt
Presse-Kontakt
Christian Thomas

Tel. +49 89 / 82 08 598-334

E-Mail: christian.thomas@itk-engineering.de

Vorträge & Fachmessen

03.12.2020

Webinar: Formale Methoden in der Bahntechnik: Signifikanter Mehrwert in CENELEC Entwicklungen | Online

 

Was sind formale Methoden und wie können diese gewinnbringend im Systems Engineering und Software Engineering in der Bahntechnik eingesetzt werden? In diesem Webinar erhalten Sie Antworten auf diese und weitere Fragen. Neben technischen Fragestellungen werden auch organisatorische und normative Aspekte beleuchtet. So soll unter anderem erläutert werden, wo sich der Einsatz von formalen Methoden lohnt, wie sie von der CENELEC-Norm empfohlen werden und welche Qualifikation hierfür erforderlich ist.

Die Integration formaler Methoden in Entwicklungsprozesse und -techniken stellt eine besondere Herausforderung dar, die in diesem Webinar ausführlich behandelt wird. Welche Techniken zählen zu formalen Methoden und was sind die jeweiligen Stärken? Welche Voraussetzungen müssen für den Einsatz von formalen Methoden gegeben sein? Wie groß ist der Aufwand für den Einsatz und was der Benefit?

Anhand konkreter Projektbeispiele werden die Antworten auf diese Fragen veranschaulicht und signifikante Mehrwerte aufgezeigt. Hierbei wird genauer auf die Formalisierung von Anforderungen, die formale konzeptionelle Datenmodellierung und formal abgeleitete Konsistenzprüfungen mit Hilfe verschiedener formaler Methoden eingegangen.

 

 

Detaillierte Informationen zum Umgang mit Nutzerdaten Sie in unserer: Datenschutzerklärung