Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Modellgetriebene Software Entwicklung

Methoden und Modelle des Systementwurfs

Sommersemester 2019

4 SWS, 8LP 4V + 2Ü

 

Prof. Dr. Timo Kehrer,
Dr. Thomas Vogel, M.Sc. Alexander Schultheiß

 

 

  Vorlesung Mi 11-13 RUD 26, 0.313
  Mi 13-15 RUD 26, 0.313
  Übungen Mi 15-17 RUD 26, 0.313

Für den Entwurf rechnerintegrierter Systeme werden unterschiedliche Methoden verwendet. Verbreitung und Akzeptanz einzelner Methoden wechseln häufig; gelegentlich werden neue vorgeschlagen. Die Vorlesung gibt einen Überblick über aktuelle Methoden, die sich in der Praxis bewährt haben und eine formale Grundlage besitzen.

Software wird zuverlässiger, änderbarer und preiswerter, wenn vor der Codierung ein Modell erstellt wird, das die Wirkung der Software auf ihre (technische oder organisatorische) Umgebung beschreibt. Die Vorlesung behandelt Methoden, um solche Modelle zu entwerfen und zu analysieren, unterstützt von Softwarewerkzeugen. Alle vorgestellten Methoden werden in der industriellen Praxis verwendet.