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/03/19 22:24] grochowski [Offene HiWi Stelle] |
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_ftd_grochowski.pdf | Industrie 4.0 Fischertechnik Demonstrator im Bereich Formale und semi-formale Methoden für Steuerungssoftware}} gesucht. 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 | |