Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung Letzte Überarbeitung Beide Seiten der Revision | ||
|
lehrstuhl:mitarbeiter:grochowski [2020/07/03 09:16] grochowski |
lehrstuhl:mitarbeiter:grochowski [2022/06/17 12:52] grochowski [Laufende Abschlussarbeiten] |
||
|---|---|---|---|
| Zeile 28: | Zeile 28: | ||
| Systemzuverlässigkeit und der Überprüfung sicherheitskritischer eingebetteter Systeme zusammen. Es sollen bewährte Werkzeuge wie auch neue Techniken, auf die aus den aufsteigenden Technologien im Zuge des Internet der Produktion resultierenden Probleme, angewendet werden. | Systemzuverlässigkeit und der Überprüfung sicherheitskritischer eingebetteter Systeme zusammen. Es sollen bewährte Werkzeuge wie auch neue Techniken, auf die aus den aufsteigenden Technologien im Zuge des Internet der Produktion resultierenden Probleme, angewendet werden. | ||
| - | ===== Offene HiWi Stelle ===== | ||
| - | * HiWi für {{:lehrstuhl:stellen:hiwis:hiwi_grochowski.pdf | Formale und semi-formale Methoden für Steuerungssoftware}} gesucht. | ||
| ===== Abschlussarbeiten ===== | ===== Abschlussarbeiten ===== | ||
| Zeile 35: | Zeile 33: | ||
| Im Rahmen meiner Forschungstätigkeit ergeben sich kontinuierlich Themen für Abschlussarbeiten. Bei Interesse bitte ich um Kontaktaufnahme per E-Mail, Telefon, oder persönlich bei mir im Büro. Vollständige Bewerbungen sollten einen Notenspiegel inklusive Semesterzahl (Bachelor/Master) und einen kurzen Lebenslauf beinhalten. Offene Abschlussarbeiten sind unten aufgelistet. | Im Rahmen meiner Forschungstätigkeit ergeben sich kontinuierlich Themen für Abschlussarbeiten. Bei Interesse bitte ich um Kontaktaufnahme per E-Mail, Telefon, oder persönlich bei mir im Büro. Vollständige Bewerbungen sollten einen Notenspiegel inklusive Semesterzahl (Bachelor/Master) und einen kurzen Lebenslauf beinhalten. Offene Abschlussarbeiten sind unten aufgelistet. | ||
| - | ===== Offene Abschlussarbeiten ===== | ||
| - | * {{ :lehre:abschlussarbeiten:mg:masterarbeit_regression.pdf | (Master) Absicherung von auftretenden Regressionen in der Steuerungssoftware von cyber-physischen Produktionssystemen }} | ||
| - | * {{ :lehre:abschlussarbeiten:mg:masterarbeit_konfiguration.pdf | (Master) Absicherung von Konfigurationen der Steuerungssoftware in cyber-physischen Produktionssystemen }} | ||
| - | ===== Laufende Abschlussarbeiten ===== | ||
| ===== Abgeschlossene Abschlussarbeiten ===== | ===== Abgeschlossene Abschlussarbeiten ===== | ||
| Zeile 45: | Zeile 39: | ||
| * {{ :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 | | ||
| + | | ::: | [[lehre:wise2021:seminar]] | S | | ||
| | Sommersemester 20 | [[lehre:sose20:proseminar]] | S | | | Sommersemester 20 | [[lehre:sose20:proseminar]] | S | | ||
| | ::: | [[lehre:sose20:seminar]] | S | | | ::: | [[lehre:sose20:seminar]] | S | | ||