Institute of Computer Languages
Compilers and Languages Group
über
| Datum: | Freitag, Feber 27, 2009 |
|---|---|
| Zeit: | 15:00 (c.t.) |
| Location: | TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte) |
Wir motivieren die Konzeption einer iterativen Deadlock-Analyse zur Aufdeckung von Deadlocks für unvollständige, nebenläufige Java Card 3.0 Programme und stellen einen Überblick über die geplante Analyse und die darin betrachteten Deadlocks vor. Durch eine vereinfachte Analyse des Locking-Verhaltens unseres Analysegegenstandes, des Java Card 3.0 Webservers, zeigen wir unter Verwendung des Programmanalyse-Frameworks SAILDOWN (http://www.upb.de/cs/mthies), dass ein iteratives Analysevorgehen effektiv sein wird. Wir stellen die bisher umgesetzen Arbeitsschritte hin zur Konzeption und Realisierung der eigentlichen Deadlock-Analyse vor und schließen den Vortrag mit einem Überblick über sich anschließende Forschungsfragen.
Rebekka Neumann arbeitet als wissenschaftliche Mitarbeiterin am Software Quality Lab der Universität Paderborn und wird von Prof. Uwe Kastens, Fachgebiet Programmiersprachen und Übersetzer, bei ihrer Doktorarbeit betreut. Darin beschäftigt sie sich mit dem kombinierten Einsatz von statischer Programmanalyse und Model Checking zur Verifikation von Eigenschaften nebenläufiger Java-Programme. Ihr Diplom in Informatik hat sie an der TU Berlin erlangt und vor dem Beginn ihrer Tätigkeit an der Universität Paderborn als Software-Ingenieurin bei der sd&m AG gearbeitet. (http://s-lab.upb.de/Personen/personen_oeters.html)
Sie möchten auf diesen Vortrag durch Aushang hinweisen? Eine druckfertige Einladung im pdf-Format dafür finden Sie hier.