"Das Nachdenken über Systeme und ihre Komplexität und darüber, wie wir diese organisieren, ist ein elementarer Bestandteil von Lehre und Forschung in diesem Institut. Das beeindruckt mich sehr." Vinton G. Cerf, Google
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,...
Modellbasierte Generierung von Tests für eingebettete Systeme
In diesem Vortrag geht es um die automatische Erzeugung von Testfällen aus Modellen wie z.B. UML2- oder Simulink-Diagrammen. Wir berichten über den Stand der Technik sowie über aktuelle Forschungsarbeiten zur Erstellung von Modellen, zur Verbesserung der Abdeckung mittels Pre- und Post-Processing sowie über die Kopplung verschiedener Modelle. Alle Methoden werden an Hand industrieller Anwendungsbeispiele aus der Bahn-, Automobil- und Automatisierungstechnik vorgestellt.
Referent: Prof. Dr. rer. nat. habil. Bernd-Holger Schlingloff
Professor für Informatik an der Humboldt-Universität zu Berlin Bereichsleiter am Fraunhofer Institut FIRST
Sprache: Deutsch
Gastgeber: Prof. Polze
Ort: HS 1
Datum: Donnerstag, 1. November 2007
Zeit: 16:00