BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:1023-96@www.leopoldina.org
CLASS: PUBLIC
SUMMARY:Reagiert der Flugzeugcomputer schnell genug? - Echtzeitanalysen in 
 der Sicherheitstechnik
DESCRIPTION:Die Sicherheit in vielen Bereichen des alltäglichen Lebens, bei
 spielsweise im Straßen-, Schienen- und Flugverkehr oder auch in der Medizin
 technik, hängt maßgeblich von der korrekten Funktion von eingebetteten Rech
 nern ab. Wer Auto fährt oder im Flugzeug reist, ahnt jedoch häufig nichts v
 on der Existenz dieser Computer. Eingebettete Rechner müssen nicht nur korr
 ekte Ergebnisse berechnen, sondern diese auch innerhalb vorgegebener, oft s
 ehr kurzer Fristen liefern. Beim Airbag-Controller im Auto geschieht dies b
 eispielsweise innerhalb von Millisekunden.  Der Nachweis des Echtzeitverhal
 tens ist schwierig, weil die verwendete Hardware eher für PCs, Notebooks od
 er Hochleistungsrechner, nicht jedoch für sicherheitskritische Systeme entw
 orfen wurde. Dennoch müssen Echtzeitanalysen verlässliche Garantien geben. 
 Echtzeitanalysen sind somit von zentraler Bedeutung für alle Branchen, in d
 enen Software für die Entwicklung von sicherheitskritischen Systemen verwen
 det wird. Der Vortrag stellt eine Lösung dieses Verifikationsproblems vor, 
 die in der Flugzeug- und der Autoindustrie verwendet wird.\n\nReinhard Wilh
 elm\n\nReinhard Wilhelm ist seit 1978 Professor für Informatik an der Unive
 rsität des Saarlandes. Nach dem Studium der Mathematik in Münster und der I
 nformatik in München und Stanford (USA), promovierte er 1977 in Informatik 
 an der TU München. Seine Forschungsgebiete sind die Übersetzung von Program
 miersprachen und die Verifikation von Software. Seit dessen Gründung 1990 i
 st Wilhelm wissenschaftlicher Direktor des Leibniz-Zentrums für Informatik 
 in Schloss Dagstuhl. 1998 gründete er die Firma AbsInt, welche Werkzeuge zu
 r Softwarequalitätssicherung, entwickelt.\n\nWeitere Informationen\n\nFür d
 ie Teilnahme an der Vorlesung ist keine Anmeldung erforderlich. Der Eintrit
 t ist frei.
LOCATION:Halle (Saale)
DTSTAMP:20251112T170935Z
DTSTART:20140326T170000Z
DTEND:20140326T180000Z
END:VEVENT
END:VCALENDAR