Hilfreiche Suchparameter: Begriff einschließen: +webshop, Begriff ausschließen: -webshop, Exakter Suchbegriff: "internet of things"
z.B. Unterstützung bei Unternehmensberatung IT-Dienstleistungen Buchhaltung

Korrekte und sichere IT-Systeme

  • 09.11.2021
  • 16:00 - 19:00 Uhr
  • Fachgruppe UBIT
  • ONLINE: Auf Ihrem Laptop, PC, Tablet oder Smartphone, 4020 Linz

Die stetig steigende Komplexität heutiger Hardware/Software-Systeme führt zu immer größer werdenden Herausforderungen in deren Entwurf. Zusätzlich immer knapper werdende „time-to-market“-Anforderung erhöhen zusätzlich den Druck. Im Ergebnis werden mittlerweile oft Systeme ausgeliefert, bei denen nicht mehr garantiert werden kann, ob sie auch wirklich korrekt arbeiten und/oder sicher vor Angriffen sind. Um diese Probleme beherrschbar zu machen, können automatische Methoden helfen. Das Seminar gibt einen Überblick über aktuelle Entwicklungen aus Wissenschaft und Industrie in diesem Bereich und illustriert anhand von Beispielen die Breite der Anwendung und ihr Potential für einen effizienten Entwurf. Weiters wird ein Überblick darüber gegeben, welche Kompetenzen dazu in der Region existieren.

Anmeldung