Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung Nächste Überarbeitung Beide Seiten der Revision | ||
|
lehrstuhl:mitarbeiter:grochowski [2021/01/26 10:07] grochowski [Laufende Abschlussarbeiten] |
lehrstuhl:mitarbeiter:grochowski [2021/10/26 09:25] grochowski [Lehre] |
||
|---|---|---|---|
| Zeile 29: | Zeile 29: | ||
| ===== Offene HiWi Stelle ===== | ===== Offene HiWi Stelle ===== | ||
| - | * HiWi für {{:lehrstuhl:stellen:hiwis:hiwi_grochowski.pdf | Formale und semi-formale Methoden für Steuerungssoftware}} gesucht. | + | * HiWi für {{:lehrstuhl:stellen:hiwis:hiwi_ftd_grochowski.pdf | Industrie 4.0 Fischertechnik Demonstrator im Bereich Formale und semi-formale Methoden für Steuerungssoftware}} gesucht. |
| ===== Abschlussarbeiten ===== | ===== Abschlussarbeiten ===== | ||
| Zeile 37: | Zeile 36: | ||
| ===== Offene Abschlussarbeiten ===== | ===== Offene Abschlussarbeiten ===== | ||
| - | * (Master) Änderungs- und Auswirkungsanalyse von auftretenden Regressionen in der Steuerungssoftware von cyber-physischen Produktionssystemen | + | * Auf Anfrage |
| ===== Laufende Abschlussarbeiten ===== | ===== Laufende Abschlussarbeiten ===== | ||
| - | * Statische Analyse für Steuerungssoftware im Internet der Produktion | + | |
| - | * Testfallgenerierung für Steuerungssoftware im Internet der Produktion | + | |
| ===== Abgeschlossene Abschlussarbeiten ===== | ===== Abgeschlossene Abschlussarbeiten ===== | ||
| * {{ :lehre:abschlussarbeiten:mg:planbarkeitsanalyse_einer_fertigungsanlage_mit_zeitbewerteten_modellen.pdf | (Bachelor) Planbarkeitsanalyse einer Fertigungsanlage mit zeitbewerteten Modellen }} | * {{ :lehre:abschlussarbeiten:mg:planbarkeitsanalyse_einer_fertigungsanlage_mit_zeitbewerteten_modellen.pdf | (Bachelor) Planbarkeitsanalyse einer Fertigungsanlage mit zeitbewerteten Modellen }} | ||
| * {{ :lehre:abschlussarbeiten:mg:modellierung_und_analyse_einer_fertigungsanlage.pdf | (Bachelor) Modellierung und Analyse einer Fertigungsanlage }} | * {{ :lehre:abschlussarbeiten:mg:modellierung_und_analyse_einer_fertigungsanlage.pdf | (Bachelor) Modellierung und Analyse einer Fertigungsanlage }} | ||
| * {{ :lehre:abschlussarbeiten:mg:ma_mbtcpps.pdf | (Master) Application of Model-Based Testing to a Cyber-Physical Production System }} | * {{ :lehre:abschlussarbeiten:mg:ma_mbtcpps.pdf | (Master) Application of Model-Based Testing to a Cyber-Physical Production System }} | ||
| + | * Statische Analyse für Steuerungssoftware im Internet der Produktion | ||
| + | * Testfallgenerierung für Steuerungssoftware im Internet der Produktion | ||
| ===== Lehre ===== | ===== Lehre ===== | ||
| | **Semester** | **Titel** | **Art** | | | **Semester** | **Titel** | **Art** | | ||
| + | | Wintersemester 21/22 | [[lehre:wise2122:proseminar]] | S | | ||
| + | | ::: | [[lehre:wise2122:seminar]] | S | | ||
| + | | ::: | [[lehre:wise2122:psp]] (Versuch 1) | P | | ||
| + | | Sommersemester 21 | [[lehre:sose21:proseminar]] | S | | ||
| + | | ::: | [[lehre:sose21:seminar]] | S | | ||
| | Wintersemester 20/21 | [[lehre:wise2021:proseminar]] | S | | | Wintersemester 20/21 | [[lehre:wise2021:proseminar]] | S | | ||
| | ::: | [[lehre:wise2021:seminar]] | S | | | ::: | [[lehre:wise2021:seminar]] | S | | ||