Jahresbericht 2008 - Fakultät für Elektrotechnik, Informatik und ...
Jahresbericht 2008 - Fakultät für Elektrotechnik, Informatik und ...
Jahresbericht 2008 - Fakultät für Elektrotechnik, Informatik und ...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Spezifikation <strong>und</strong> Modellierung von Softwaresystemen<br />
Prof. Dr. rer. nat. Heike Wehrheim<br />
„Entwicklung korrekter Systeme mit formalen Methoden“<br />
Mit dem Vordringen von Software in<br />
immer weiter reichende Bereiche des<br />
täglichen Lebens wird die Frage nach<br />
der Korrektheit von Software immer<br />
dringlicher. Dies gilt umso mehr, wenn<br />
es um sicherheitskritische Anwendun -<br />
gen wie etwa in der Bahntechnik oder<br />
im Automobilbereich geht. Die Verifika<br />
tion, der mathematisch geführte<br />
Beweis der Korrektheit, ist ein wichtiger<br />
Baustein in der Qualitätssicherung solcher<br />
Systeme. Die Forschungsgruppe<br />
befasst sich mit der Entwicklung von<br />
Spezifikationsformalismen zur Model -<br />
Institut <strong>für</strong> <strong>Informatik</strong><br />
Softwaretechnik <strong>und</strong> Informationssysteme<br />
64<br />
lierung von komplexen Systemen <strong>und</strong><br />
Verifikationstechniken zum Nachweis<br />
der Korrektheit. Insbesondere interessieren<br />
wir uns <strong>für</strong> Formalismen, die<br />
Systeme über mehrere Sichten be -<br />
schreiben (sogenannte integrierte<br />
Spezifikationsformalismen) <strong>und</strong> damit<br />
die unterschiedlichsten Aspekte komplexer<br />
Systeme adäquat modellieren<br />
können. Forschungsaspekte sind hierbei<br />
die Semantik des Formalismus, die<br />
Konsistenz von Sichten, die Verifikation<br />
(Techniken zur Vermeidung der Zu -<br />
stands explosion), der Entwurf von<br />
Verfeinerungskonzepten sowie die<br />
Integration der formalen Techniken in<br />
konventionelle Softwareentwurfs -<br />
prozesse.<br />
Dekomposition <strong>für</strong> kompositionelle Verifikation Beweisbar korrekte Refactorings<br />
Prof. Dr. rer. nat. Heike Wehrheim<br />
ist seit November 2004 Professorin <strong>für</strong><br />
<strong>Informatik</strong> an der Universität Paderborn. Nach<br />
einem Studium der <strong>Informatik</strong> in Bonn promovierte<br />
sie sich 1996 an der Universität Hildes -<br />
heim <strong>und</strong> habilitierte 2002 an der Universität<br />
Oldenburg. In Oldenburg war sie Teilprojekt -<br />
leiterin im Sonderforschungsbereich SFB/TR<br />
14 AVACS. In Paderborn leitet sie die Arbeits -<br />
gruppe „Spezifikation <strong>und</strong> Modellierung von<br />
Softwaresystemen“. Ihre Forschungsinteressen<br />
liegen im Bereich der formalen Methoden <strong>und</strong><br />
ihren Anwendungen in einem modellbasierten<br />
Softwareentwurf.<br />
www.upb.de/cs/ag-wehrheim