BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//pretalx.com//medconf2026//talk//NFGKT7
BEGIN:VTIMEZONE
TZID:CET
BEGIN:STANDARD
DTSTART:20001029T040000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
TZNAME:CET
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20000326T030000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
TZNAME:CEST
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:pretalx-medconf2026-NFGKT7@pretalx.com
DTSTART;TZID=CET:20260519T152500
DTEND;TZID=CET:20260519T161000
DESCRIPTION:Grundlage der Automatisierung einer modellbasierten Vorgehenswe
 ise ist die neuartige Systembeschreibung auf Basis einer (Programmier-)Spr
 ache\, die in einem (Sprach-)Compiler maschinell in die verschiedenen Anal
 ysemodelle\, die zur Auslegung der verschiedenen Produkteigenschaften verw
 endet werden\, maschinell übersetzt werden kann. Dies bedeutet\, dass zun
 ächst in einem ersten Schritt der Produktentwicklung sprachbasiert ein ma
 schinell ausführbarer Produktentwicklungsprozess umgesetzt wird. Dabei ka
 nn auch der erforderliche Aufwand zur Validierung und Verifikation der Anf
 orderungen maschinell durchgeführt werden\, solange es gelingt\, für jed
 e Anforderung einen passenden formalisierten Test anzugeben. Dadurch kann 
 prinzipiell der Großteil der in der Produktdokumentation geforderten Info
 rmation automatisiert aus den erfüllten Testanforderungen heraus generier
 t werden. Für den darüber hinaus gehenden Informationsanteil der Produkt
 - und Zulassungsdokumentation ist es erforderlich\, den ursprünglichen Fo
 kus der reinen Systembetrachtung auf die Ebene der System-of-Systems Betra
 chtung zu erweitern\, um den weiteren Kontext der Benutzung des Produkts i
 n seinen zukünftigen Einsatzszenarien zu erfassen und abzubilden. Auch hi
 er eröffnet die maschinelle Verarbeitung in einem zugehörigen Compiler d
 ie Möglichkeit\, über ein komplettes Round-Trip-Engineering die Konsiste
 nz und Vollständigkeit der Dokumentation mit den den Modellen über forma
 le Prüfkriterien sicherzustellen und beweisbar zu machen.
DTSTAMP:20260530T090135Z
LOCATION:Kopernikus 2
SUMMARY:Von den Anforderungen automatisiert zur Produkt- und Zulassungsdoku
 mentation? Eine Diskussion des Status Quo und einer Zukunftsvision - Steph
 an Rudolph
URL:https://pretalx.com/medconf2026/talk/NFGKT7/
END:VEVENT
END:VCALENDAR