Entwurf eingebetteter Systeme

In der Lehrveranstaltung werden Entwurfs-Suiten für sicherheitskritische Software behandelt (z.b. SCADE, TOPCASED). Anhand von Beispielen wird der komplette Entwurfszyklus vom Reengineering über die Modellierung, die Codegenerierung und die Validierung und Verifikation vorgestellt.
Die Lehrveranstaltung baut unmittelbar auf der Lehrveranstaltung Softwareentwicklung für eingebettete Syteme auf und setzt sie fort.