Hasso-Plattner-Institut
Prof. Dr. Holger Giese
  
 

Systemanalyse und Modellierung

Der Fokus der Arbeiten des Fachgebiets Systemanalyse und Modellierung liegt im Bereich der modellgetriebenen Softwareentwicklung.

Dies umfasst die Spezifikation von flexiblen Systemen mit Mustern und Komponenten, Ansätze zur Analyse und formalen Verifikation dieser Modelle, und Ansätze zur Synthese von Modellen. Einen besonderen Schwerpunkt dabei bilden verteilte Systeme, eingebettete Echtzeitsysteme und Systeme mit der Eigenschaft sich selbst anzupassen und zu koordinieren.

Darüber hinaus werden Transformationen von Modellen, Konzepte zur Codegenerierung für Strukturen, Verhalten für Modelle und allgemein die Problematik der Integration von Modellen, bei der modellgetriebenen Softwareentwicklung betrachtet.

Eine detaillierte Beschreibung der Arbeiten des Fachgebiets kann auf der Seite zur Forschung gefunden werden.

News

17.10.2013

Dagstuhl Seminar: Software Engineering for Self-Adaptive Systems: Assurances

December 15 - 19, 2013, Dagstuhl Seminar 13511 > Zum Artikel

04.12.2011

Vortrag »Models at Runtime for Adaptive and Self-managing Software« von Professor Giese zusammen mit Thomas Vogel.

Anlässlich des Dagstuhl Seminars Models@run.time hielt Professor Giese zusammen mit Thomas Vogel einen Vortrag zum Thema: »Models at Runtime for Adaptive and … > Zum Artikel

23.11.2011

Vortrag von Prof. Giese für den Workshop on Service-oriented Systems

Am 22. November präsentierte Prof. Giese seinen Vortrag zum Thema »Service-oriented Systems & Self-Adaptive Systems« in Barcelona. > Zum Artikel

10.11.2011

Vortrag 'Towards Verifying CPS with Structural Dynamism' von Prof. Giese zusammen mit Basil Becker

Auf dem, vom ersten bis vierten November stattgefundenen „Seminar Science and Engineering of Cyber-Physical Systems“ referierten Prof. Holger Giese und Basil … > Zum Artikel

20.07.2011

Steffen Rönnecke (Berliner Rotes Kreuz e.V.) zu Gast am 27.07. um 17 Uhr

Am 27.07. ist um 17 Uhr Steffen Rönnecke (Berliner Rotes Kreuz e.V.) am Fachgebiet für Systemanalyse und Modellierung zu Gast. > Zum Artikel

20.10.2010

EATCS Best Paper Award

Am 30.09.2010 hat Leen Lambers zusammen mit ihren Koautoren Hartmut Ehrig, Annegret Habel, Fernando Orejas und Ulrike Golas für den Beitrag „Local Confluence … > Zum Artikel

02.08.2010

Vortrag von Andreas Seibel am FZI in Karlsruhe

Andreas Seibel hielt einen Vortrag im Rahmen des Workshops "Model-Driven Development in the Real World", organisiert durch das FZI und dem KIT in Karlsruhe, zum … > Zum Artikel

31.05.2010

Vortrag von Prof. Holger Giese an der Technischen Universität in Berlin

Prof. Holger Giese hielt einen Vortrag in einem Seminar, organisiert durch das Forschungskolloquium TFS an der TU Berlin zum Thema "Modellgetriebene … > Zum Artikel

28.05.2010

Vortrag von Prof. Holger Giese auf der ersten CHIST-ERA Konferenz in Rom

Prof. Holger Giese hielt auf der ersten CHIST-ERA Konferenz in Rom in einem Experten Gespräch einen Vortrag zum Thema "Self-Awareness and Self - Consciousness … > Zum Artikel

16.02.2010

Vortrag von Prof. Holger Giese an der Charles Universität in Prag

Prof. Holger Giese hielt einen Vortrag in einem Seminar, organisiert durch die Forschungsgruppe "Verteilte Systeme" an der Charles Universität in Prag zum Thema … > Zum Artikel

17.11.2009

Vortrag von Prof. Holger Giese auf dem ArchiPL-Workshop 2009

Prof. Holger Giese hielt auf dem Workshop "Architectural Concepts and Programming Languages" (08-10 November 2009, München) einen Vortrag zum Thema … > Zum Artikel

12.10.2009

Was bietet die Informatik heutzutage für die Modellierung und Analyse komplexer Systeme?

Prof. Dr. Holger Giese hält im Rahmen des Bioinformatics Affinity Seminars um 10.00 Uhr am 14.10.2009 im Max-Planck-Institut für Molekulare Pflanzenphysiologie … > Zum Artikel

09.10.2009

Vortrag von Prof. Holger Giese auf der DGRI-Jahrestagung 2009

Auf der DGRI-Jahrestagung 2009 hält Prof. Holger Giese am 02.10.2009 einen Vortrag: "Adaptive und Self-Managed Software und Haftung: Wer ist verantwortlich, … > Zum Artikel

09.10.2009

Fachgebiet "Systemanalyse und Modellierung" stellt eine Aufgabe für InformatiCup

Die Gesellschaft für Informatik veranstaltet auch dieses Jahr wieder den InformatiCup. Dieses Jahr steuert das Fachgebiet Systemanalyse und Modellierung eine … > Zum Artikel

22.09.2009

Offene (Post-)Doktorandenstellen am Fachgebiet Systemanalyse und Modellierung

Der Lehrstuhl für Systemanalyse und Modellierung (Prof. Dr. Holger Giese) am Hasso Plattner Institut für Softwaresystemtechnik an der Universität Potsdam sucht … > Zum Artikel

03.09.2009

DFG fördert Projekt "KorMoran" zu korrekten Modelltransformationen am Fachgebiet "Systemanalyse und Modellierung"

Gemeinsames Projekt "Korrekte Modelltransformationen" (KorMoran) der beiden Fachgebiete "Systemanalyse und Modellierung" des HPI und "Programmierung … > Zum Artikel

22.07.2008

Pressemitteilung - Bachelorprojekt 2007/2008 vom 21.07.2008

Eine Laufzeitumgebung für rekonfigurierbare automotive Software > Zum Artikel

17.07.2008

Bachelorprojekt 2008 / 2009

Eine Laufzeitumgebung für rekonfigurierbare automotive Software > Zum Artikel

09.07.2008

Buch Designing Software-Intensive Systems: Methods and Principles erschienen

Prof. Holger Giese hat am Kapitel 2 dieses Buches zum Thema Modeling Techniques for Software-Intensive Systems mitgearbeitet. > Zum Artikel

30.06.2008

Buch Models in Software Engineering erschienen

Das von Prof. Holger Giese editierte Buch mit Zusammenfassungen und den besten Beiträgen der Workshops und Symposien der MODELS 2007 Konferenz ist erschienen. > Zum Artikel

31.03.2008

Artikel erschienen: From model transformation to incremental bidirectional model synchronization

Von Holger Giese und Robert Wagner in der Zeitschrift Software and Systems Modeling des Springer Verlags > Zum Artikel