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 [2020/07/03 09:16] grochowski |
lehrstuhl:mitarbeiter:grochowski [2021/10/26 09:23] grochowski [Abgeschlossene Abschlussarbeiten] |
||
|---|---|---|---|
| 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 ===== | ||
| - | * {{ :lehre:abschlussarbeiten:mg:masterarbeit_regression.pdf | (Master) Absicherung von auftretenden Regressionen in der Steuerungssoftware von cyber-physischen Produktionssystemen }} | + | * Auf Anfrage |
| - | * {{ :lehre:abschlussarbeiten:mg:masterarbeit_konfiguration.pdf | (Master) Absicherung von Konfigurationen der Steuerungssoftware in cyber-physischen Produktionssystemen }} | + | |
| ===== Laufende Abschlussarbeiten ===== | ===== Laufende Abschlussarbeiten ===== | ||
| + | |||
| ===== Abgeschlossene Abschlussarbeiten ===== | ===== Abgeschlossene Abschlussarbeiten ===== | ||
| Zeile 45: | Zeile 44: | ||
| * {{ :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 20/21 | [[lehre:wise2021:proseminar]] | S | | ||
| + | | ::: | [[lehre:wise2021:seminar]] | S | | ||
| | Sommersemester 20 | [[lehre:sose20:proseminar]] | S | | | Sommersemester 20 | [[lehre:sose20:proseminar]] | S | | ||
| | ::: | [[lehre:sose20:seminar]] | S | | | ::: | [[lehre:sose20:seminar]] | S | | ||