Informatisches Kolloquium WiSe 2013

Sprecherin

Frau Prof. Sibylle Schupp
Leiterin des Instituts für Softwaresysteme an der TUHH

Am: Montag, den 13.01.2014 um 17:15 Uhr

Titel

Soft Errors: From Bit Flips to Program Analysis

Zusammenfassung

"Could outer space be endangering Toyota's drivers", the magazine DailyTech asked in 2010, and referred to the possibility that cosmic radiation may be responsible for the malfunctioning of certain electronics. Cosmic radiation and the resulting transient hardware errors, the so-called "soft errors", are indeed a reason why hardware vendors set up their test labs sometimes at higher altitudes. For software engineers, soft errors qualify as a challenging class of bugs since they are expensive to track and hard to protect against. Using formal notations and algorithms from program analysis, however, it is possible to automate many of the steps that are needed for either testing for soft errors or hardening against them.

The talk characterizes soft errors from the application's point of view, introduces the field of program analysis, and presents selected, type-based program analyses for soft errors. Since soft errors are a comparatively recent topic in Computer science, many important questions are still unanswered and may constitute interesting topics also beyond program analysis.

Vita der Referentin

Sibylle Schupp ist Professorin und Leiterin des Instituts für Softwaresysteme an der TUHH. Sie promovierte in Informatik an der Universität Tübingen 1996 und war von 1996 bis 2003 erst PostDoc, danach Assistant Professor in Rensselaer, New York. Im Sommer 2003 wechselte sie als Associate Professor an die Chalmers Tekniska Högskola (CTH) in Göteborg und leitete dort die Gruppe Software Methodologien and Systems. Zur TUHH kam sie 2009.

Ansprechpartner

Prof. Dr.-Ing. Matthias Riebisch / SWK