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 [2019/03/15 15:47] grochowski [Laufende Abschlussarbeiten] |
lehrstuhl:mitarbeiter:grochowski [2021/10/26 09:25] grochowski [Lehre] |
||
|---|---|---|---|
| Zeile 16: | Zeile 16: | ||
| Adresse: Ahornstr. 55, 52074 Aachen, Germany\\ | Adresse: Ahornstr. 55, 52074 Aachen, Germany\\ | ||
| Büro: Raum 2320 (Gebäude H)\\ | Büro: Raum 2320 (Gebäude H)\\ | ||
| + | |||
| + | ===== Fachausschüsse ===== | ||
| + | * [[https://www.vdi.de/technik/fachthemen/mess-und-automatisierungstechnik/fachbereiche/anwendungsfelder-der-automation/gma-fa-725-testen-vernetzter-systeme-fuer-die-industrie-40/|GMA Fachausschuss 7.25 - "Testen vernetzter Systeme in Industrie 4.0"]] (seit 2020) | ||
| ===== Sprechstunde ===== | ===== Sprechstunde ===== | ||
| Zeile 25: | 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_ftd_grochowski.pdf | Industrie 4.0 Fischertechnik Demonstrator im Bereich Formale und semi-formale Methoden für Steuerungssoftware}} gesucht. | ||
| ===== Abschlussarbeiten ===== | ===== Abschlussarbeiten ===== | ||
| Zeile 31: | Zeile 36: | ||
| ===== Offene Abschlussarbeiten ===== | ===== Offene Abschlussarbeiten ===== | ||
| - | * Auf Anfrage. | + | * Auf Anfrage |
| ===== Laufende Abschlussarbeiten ===== | ===== Laufende 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 }} | ||
| + | * 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 | | ||
| + | | ::: | [[lehre:sose20:seminar]] | S | | ||
| + | | Wintersemester 19/20 | [[lehre:wise1920:proseminar]] | S | | ||
| + | | ::: | [[lehre:wise1920:seminar]] | S | | ||
| + | | ::: | [[lehre:wise1920:psp]] (Versuch 1) | P | | ||
| | Sommersemester 19 | [[lehre:sose19:proseminar]] | S | | | Sommersemester 19 | [[lehre:sose19:proseminar]] | S | | ||
| | ::: | [[lehre:sose19:seminar]] | S | | | ::: | [[lehre:sose19:seminar]] | S | | ||
| + | | ::: | [[lehre:sose19:psp]] (Versuch 1) | P | | ||
| | Wintersemester 18/19 | [[lehre:wise1819:cpsmm]] | S | | | Wintersemester 18/19 | [[lehre:wise1819:cpsmm]] | S | | ||
| | ::: | [[lehre:wise1819:mbt]] | S | | | ::: | [[lehre:wise1819:mbt]] | S | | ||
| Zeile 49: | Zeile 71: | ||
| | Sommersemester 18 | [[lehre:sose18:nxtprogrammierung]] | P | | | Sommersemester 18 | [[lehre:sose18:nxtprogrammierung]] | P | | ||
| | ::: | [[lehre:sose18:formal]] | S | | | ::: | [[lehre:sose18:formal]] | S | | ||
| - | | ::: | [[lehre:wise1819:psp]] (Versuch 1) | P | | + | | ::: | [[lehre:sose18:psp]] (Versuch 1) | P | |
| ===== Veröffentlichungen ===== | ===== Veröffentlichungen ===== | ||