"Deutschland braucht eine erfolgreiche Bildungspolitik und erfolgreiche Bildungspolitik braucht privates Engagement. Dabei geht es um eine starke Vernetzung von Wissenschaft, Lehre und Wirtschaft. Das HPI ist dafür ein ausgezeichnetes Beispiel." Bruno O. Braun, Präsident VDI
Open Course Design Thinking: d.school-Referent Thomas Both zu Gast
Aufgrund der großen Nachfrage gibt es einen weiteren Open Course Design Thinking vom 31. Mai bis 2....
Bewerbungsschluss HPI-Schülerkolleg
HPI-Schülerkolleg geht 2012 in sein viertes Jahr. Bis zum 6. Juni können sich interessierte und...
Hochschulinformationstag am HPI
Am 8. Juni 2012 findet der Hochschulinformationstag der Universität Potsdam auf dem Campus...
HPI Alumni Homecoming Event 2012
Die zentrale Begegnungsveranstaltung für die Ehemaligen des HPI feiert 2012 gleich mehrere...
Future SOC Symposium am HPI
Vom 14. bis zum 15. Juni 2012 findet das siebte Future SOC Symposium statt.
Zertifikatsverleihung HPI-Schülerkolleg 2011/12
15 Seminareinheiten in je 3 bis 4 Modulen haben die rund 55 Schülerinnen und Schüler abgeschlossen,...
Korrekte und effiziente Software-Systeme: Wunschtraum oder realisierbare Vision?
tele-TASK-Aufzeichnung des Vortrags
Korrekte Software zu erstellen ist bereits seit den Anfängen der Informatik ein wichtiges Ziel und hat seitdem nichts an Aktualität verloren. Gleichzeitig die Effizienz nachweislich korrekter Systeme mit der nichtverifizierter Systeme vergleichbar zu halten ist eine noch größere Herausforderung. Da informationsbasierte Systeme zunehmend auch in sicherheitskritischen Lebensbereichen eingesetzt werden, gewinnt die Frage, wie man Zuverlässigkeit und Korrektheit dieser Systeme sicherstellen kann, immer mehr an Bedeutung. Selbst Kunden weniger sicherheitsrelevanter Systeme fordern verstärkt eine Erhöhung der Zuverlässigkeit der von ihnen verwendeten Produkte, wohingegen vor einigen Jahren noch die reine Effizienzsteigerung und Erweiterung der Funktionalität insbesondere der Softwareanteile ganz oben auf dem Wunschzettel von Anwendern zu finden waren.
In diesem Vortrag zeige ich, wie sowohl effiziente und performante als auch verlässliche und korrekte Systeme konstruiert werden können. Diese Fragestellung tritt in praktisch allen Ebenen des System- und Softwareentwurfs auf, beginnend z.B. bei Software-Komponentensystemen über Compiler bis hin zum Hardware/Software Co-Design. Dazu diskutiere ich typische Probleme und Lösungen aus meinen Arbeiten sowohl aus dem Bereich der Verifikation optimierender Compiler als auch aus dem Gebiet der Verifikation von Modelltransformationen. Dabei demonstriere ich nicht nur, wie in Theorembeweisern geführte formale Korrektheitsbeweise mit realen Software-Systemen gekoppelt werden können, sondern zeige außerdem, wie die dabei verwendeten allgemeinen Beweisprinzipien für Programm- und Systemtransformationen in anderen Bereichen angewendet werden können. Abschließend gebe ich einen kurzen Überblick über weitere Forschungsschwerpunkte meiner Arbeitsgruppe.
Sprache: Deutsch
Gastgeber: Prof. Dr. Christoph Meinel
Ort: HS 1
Datum: Donnerstag, 22. März 2007
Zeit: 16:00