Wird AI im Systems Engineering so erfolgreich sein wie in der Programmierung?
AI ist enorm erfolgreich in der Programmierung. Was muss passieren, damit es im Systems Engineering genauso erfolgreich ist?
https://www.se-trends.de/ai-im-systems-engineering-und-programmierung/
#KnstlicheIntelligenz #FormaleMethoden #Programmieren #Sonderfall
#formalemethoden — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #formalemethoden, aggregated by home.social.
-
-
⚠️ Hinweis der Redaktion: Das Event musste leider kurzfristig abgesagt werden.
Eventtipp für #Bochum: Das Jahrestreffen unserer Fachgruppe Formale Methoden und Software Engineering für sichere Systeme steht an!
Programm-Highlights:
🔹 Keynote von Tim Würtele (@Uni_Stuttgart) Gewinner des CAST/GI-Promotionspreis IT-Sicherheit 2026
🔹 Industrie-Keynote von Tabea Bökelmann und Stephan Bökelmann zum Thema "What academia (may) not know about getting-stuff-done when engineering critical infrastructure"
14.–15. September 2026, Ruhr-Universität Bochum
Registrierung bis 31. August 2026, 30 Euro Teilnahmegebühr
-
Formale Methoden – Was ist das nochmal?
Formale Methoden sind Ansätze, bei denen mathematisch-logische Methoden genutzt werden, um Sicherheitsgarantien für computergestützte Systeme zu liefern. Doch oft ist nicht klar, wie formale Methoden anzuwenden sind, da es zahlreiche Werkzeuge und mathematische Ansätze gibt.
Um den Einstieg in das Thema zu erleichtern, hält Matthew Wilding von DARPA kommenden Dienstag, den 18.08. um 14:00 die nächste Session des Trustworthy Tuesdays. Er führt nicht nur in das Forschungsfeld und seine Methoden ein, sondern beantwortet auch Fragen aus dem Publikum.
Trustworthy Tuesday ist eine Webinar-Reihe des PROTECT-Projekts der Gesellschaft für Informatik e.V.. Einmal im Monat stellen Forschende nach dem Mittagessen frei nach dem Motto „snackable science“ dort ihre Arbeit aus dem Bereich formale Verifikation und vertrauenswürdige IT vor.
-
Wozu formale Methoden? mit Lars Hupel
-
🚨 𝗪𝗮𝗿𝘂𝗺 𝗧𝗲𝘀𝘁𝗶𝗻𝗴 𝗮𝗹𝗹𝗲𝗶𝗻 𝗻𝗶𝗰𝗵𝘁 𝗴𝗲𝗻ü𝗴𝘁 – 𝗜𝗻𝘁𝗲𝗿𝘃𝗶𝗲𝘄 𝗺𝗶𝘁 𝗟𝗮𝗿𝘀 𝗛𝘂𝗽𝗲𝗹
Tests finden Fehler – aber garantieren keine Korrektheit. Im Interview erklärt @lars , Kurator des #CPSA Advanced Level Moduls „Formale Methoden“, wie #FormaleMethoden hier weiterhelfen.
💡 Du erfährst u. a.:
• Grenzen von Testing
• Einsatz formaler Methoden
• Praxisbeispiele👉 Zum Interview: https://t1p.de/wnm7m
-
SysML v2 und AI: Ein Feld entwickelt sich weiter
Seit vor wenigen Jahren AI überall für Bewegung sort, warten Entwickler auf den Einsatz bezüglich MBSE und SysML v2.
https://www.se-trends.de/sysml-v2-und-ai-ein-feld-entwickelt-sich-weiter/
#KnstlicheIntelligenz #ModellierungMBSE #BrianMoberley #DougRosenberg #FormaleMethoden #GenAI #Imandra #SysML #TimWeilkiens