Unser Leben ist von Hardware geprägt: Sei es der USB-Stick, der Prozessor unserer Laptops oder die SIM-Karte unseres Smartphones. Doch wer sorgt eigentlich dafür, dass diese Systeme vom ersten Entwurf an stabil und sicher funktionieren? Der Computer - mithilfe des Menschen. Das Ganze nennt sich CAD (computer-aided design = computerunterstütztes Entwerfen) und ist aus der modernen Industriewelt nicht mehr wegzudenken.

Doch wie lässt sich sicherstellen, dass eingesetzte Hardware und Computersysteme zuverlässig sind? Durch Formale Methoden: Das sind Techniken und Werkzeuge, mit denen man berechnet, ob etwa eine Systembeschreibung in sich konsistent ist oder Anforderungen richtig entworfen und implementiert wurden. Anders gesagt: Man kann damit die Sicherheit von Hardware und Software überprüfen.

Wie das konkret aussehen kann, interessiert auch die jährlich stattfindende Konferenz "Formal Methods in Computer-Aided Design (FMCAD)". Unter der Leitung von Ruzica Piskac und Michael W. Whalen beschäftigt sich die 21. Tagung im Oktober 2021 mit den neuesten Forschungsergebnissen im Bereich der Formalen Methoden. Zu dieser Online-Tagung erscheint auch ein Konferenzband mit über 30 Beiträgen, die ein breites Spektrum der Formalen Methoden abdecken: angefangen bei der Verifikation von Hardware, nebenläufigen und verteilten Systemen und neuronalen Netzen bis hin zu maschinellem Lernen und Entscheidungsprozeduren.

Der Band gewährt einen spannenden Einblick in bahnbrechende Methoden, Technologien, theoretische Ergebnisse und Werkzeuge für Formale Logik in Rechensystemen und Systementwicklungen.

Die Publikation steht als E-Book, öffnet eine externe URL in einem neuen Fenster zur Verfügung.

Der Band ist in der Schriftenreihe "Conference Series: Formal Methods in Computer-Aided Design", öffnet eine externe URL in einem neuen Fenster erschienen.

Mehr zu TU Wien Academic Press, öffnet eine externe URL in einem neuen Fenster