Jahresbericht informatik 2009 - KIT – Fakultät für Informatik

Die Institute der Fakultät und ihre Forschungsvorhaben
eine gegebene Implementierung tatsächlich den Performance-Spezifikationen entspricht.
Eine Validierung der Spezifikationen erfordert jedoch ein tiefgreifendes Verständnis und
Erfahrung bei der Validierung sowie Fachwissen über die Implementierung selbst. Gerade
in Szenarien, bei denen die Implementierung durch einen Drittanbieter entwickelt wird, ist
dieses Wissen beim Auftraggeber häufig nicht in der notwendigen Tiefe vorhanden. Ein
Zertifikat, das die Übereinstimmung einer Performance-Spezifikation mit der
Implementierung auf der Grundlage von unabhängigen und quantitativen Messungen garantiert,
stellt eine Lösung für dieses Problem dar. Die Zertifizierung einer
Verfeinerungsbeziehung zwischen Performance-Spezifikationen erlaubt es, den
Performance-Engineering-Kreislauf zu schließen und die Implementierung wieder mit den
Anforderungen abzugleichen. Dieser neuartige Ansatz und seine Unterstützung für den
Kreislauf sind in Abbildung 2 dargestellt.
Ziel der Forschung in der Domäne der Zuverlässigkeit ist es, Teststrategien zu entwickeln,
die eine hohe Testabdeckung aufweisen und gleichzeitig in beschränkter Zeit
durchgeführt werden können. Bei dieser Eigenschaft treten Fehler selten auf, und sehr hohe
Garantien werden erwartet; dennoch ist eine systematische Prüfung nicht möglich. Die
Testeffizienz soll daher statistisch maximiert werden.
Sicherheitszertifizierung setzt sich als Ziel, Eigenschaften des Datenschutzes und
Widerstand gegen Angreifer beweisbar und nachvollziehbar zu machen. Um diese
Eigenschaften auf Systemebene prüfen zu können, werden Sicherheitsschwachstellen auf
der Architekturebene betrachtet und passende Lösungen untersucht. Aufgrund der
Komplexität der Fragestellung besteht am Lehrstuhl Software-Entwurf und -Qualität eine
eigenständige Forschungsgrupe zum Thema Sicherheit.
70
Abbildung 1:
Zertifizierungsgebiete
Bedingungen und Merkmale
der Zertifizierung werden in
den Domänen Performanz,
Zuverlässigkeit und Sicherheit
erforscht.
Abbildung 2:
Kreislauf beim
Performance-
Engineering