Dirk Wischermann     Member of the research staff at the Department of Computer Science 4 (Distributed Systems and Operating Systems Group) at University of Erlangen-Nuremberg. Research and Academic Activities Teaching Publications Theses

Repeated reboots of the system failed to solve problem.

-Unix fortune

Research and Academic Activities

• UnITeD - Unterstützung Inkrementeller TestDaten

Automatische Testdatengenerierung zur Unterstützung inkrementeller modell- und codebasierter Testprozesse für hochzuverlässige Softwaresysteme

---

• proSecCo - providing Security in Component-based Systems

Architekturgestützte Realisierung und Verifikation von Schutzzielen in komponentenbasierten Softwaresystemen

Teaching

Wintersemester 2012/2013

Sommersemester 2012

• Systemnahe Programmierung in C
Tafel-/Rechnerübungen

Wintersemester 2011/2012

• Betriebssysteme (BS)
Rechnerübungen mit dem Ziel, Schritt für Schritt ein eigenes (Mehrkern-)Betriebssystem für den PC zu entwickeln.

Sommersemester 2011

• Grundlagen der systemnahen Programmierung in C
Rechnerübungen
• Systemnahe Programmierung in C
Rechnerübungen

Wintersemester 2010/2011

• Konzepte von Betriebssystem-Komponenten (KVBK)
Proseminar: Computersicherheit und Datensicherheit
• Betriebssysteme (BS)
Rechnerübungen mit dem Ziel, Schritt für Schritt ein eigenes (Mehrkern-)Betriebssystem für den PC zu entwickeln.

Sommersemester 2010

Wintersemester 2009/2010

• Systemprogrammierung (SP)
Tafelübungen
• Betriebssystembau (BS)
Rechnerübungen: Ziel der Übungen ist es, schrittweise ein eigenes kleines Betriebssystem für den PC zu entwickeln.

Sommersemester 2009

• Systemnahe Programmierung in C
Rechnerübungen

Wintersemester 2008/2009

• Betriebssystembau
Rechnerübungen

Sommersemester 2008

• Methoden des Requirements Engineering
Seminar im Hauptstudium
• Software Engineering in der Projektpraxis
Das Eclipse Modeling Framework, Erstellung eines Requirements Engineering Frameworks für Eclipse

Wintersemester 2007/2008

• Aspektorientierte Softwareentwicklung
Seminar im Hauptstudium

Sommersemester 2007

• Modellbasierte Softwareentwicklung
Seminar im Hauptstudium
• Software Engineering in der Projektpraxis
Entwicklung von Multi-Tier Applikationen mit JEE

Wintersemester 2006/2007

• Software Engineering in der Praxis
Requirements Engineering, OOA, Petrinetze, TPN, Modelchecking, OOD, statische Code-Analyse, funktionales und strukturelles Testen, Theorembeweisen, Configuration Management, Entwicklungsumgebungen (Eclipse RCP / Plugin-Technologien)
• Software Engineering zur Vermeidung softwarebedingter Unfälle
Seminar im Grundstudium

Veröffentlichungen

2010

Gernoth, Michael ; Lohmann, Daniel ; Schröder-Preikschat, Wolfgang ; Sincero, Julio ; Tartler, Reinhard ; Wischermann, Dirk:
Challenges in Operating-Systems Reengineering for Many Cores.
In: Pankratius, Victor ; Philippsen, Michael (Ed.) : ACM/IEEE (Org.):
Proceedings of the Third International Workshop on Multicore Software Engineering (IWMSE10)
(International Workshop on Multicore Software Engineering, Cape Town, South Africa, May 1, 2010).
Los Alamitos, CA, USA : ACM Press, 2010, pp 52-53. - ISBN 978-1-60558-964-0
Keywords: VAMOS; Critical section engineering, operating systems, OS
[doi>10.1145/1808954.1808968] (BibTeX)

Wischermann, Dirk ; Schröder-Preikschat, Wolfgang:
Modelle als Mittel zur Verstärkung von strukturellen Tests sicherheitskritischer Software.
In: Fähnrich, Klaus-Peter ; Franczyk, Bogdan (Ed.) : Informatik 2010 - Service Science – Neue Perspektiven für die Informatik"
(Workshop on Model-based Testing (MoTes 2010), Leipzig, 28.09.2010). Vol. 176.
Bonn : GI, 2010, pp 363-368. - ISBN 978-3-88579-270-3 (BibTeX)

Wischermann, Dirk ; Schröder-Preikschat, Wolfgang:
Separating Testing Concerns by Means of Models.
In: ECOOP (Ed.) : Workshop on Testing Object-Oriented Software Systems
(ETOOS 2010, Maribor, Slovenia, 21 June 2010).
Maribor : ECOOP, 2010, pp 38-44. (BibTeX)

Nicht referiert

• Ergänzung der CUDD-Bibliothek um neue Minimierungsverfahren für OBDDs
Eigene Diplomarbeit (Universität Kaiserslautern)
Betreuer: Dipl.-Inform. Dr. Rüdiger Ebendt

---

• Rekursionserkennung und -vermeidung im partiell ordnenden Planer CAPlan
Projektarbeit (Universität Kaiserslautern)
Betreuer: Dipl.-Inform. Dr. Frank Weberskirch

Studien- und Diplomarbeiten

Offene Arbeiten

Laufende Arbeiten

Abgeschlossene Arbeiten

---

Automatische Regressionstestgenerierung für modellbasierte Testfälle
Bearbeiter: Julian Exner
Betreuer: Dipl.-Inform. Dirk Wischermann

---

Konzeption und Implementierung eines Verfahrens zur Analyse von Modellverfeinerungen und zur Testdatenerzeugung

Bearbeiter: Alexander Reuß
Betreuer: Dipl.-Inform. Dirk Wischermann

---

Konzeption und Implementierung einer 'Round-Trip'- Vorgehensweise für den modellbasierten Test

Bearbeiter: Christian Kollee
Betreuer: Dipl.-Inform. Dirk Wischermann

---

Konzeption und Implementierung einer Produktlinienarchitektur für AUTOSAR-Softwarekomponenten

Bearbeiter: Quang Di Phung
Betreuer: Dipl.-Inf. (FH) Josef Adersberger, Dipl.-Inform. Dirk Wischermann

---

Übertragung existierender Model Checking Verfahren auf Automatenbeschreibungen in UML

Bearbeiter: Bing Chen
Betreuer: Dipl.-Inform. Dirk Wischermann

---

Vergleichende Bewertung unterschiedlicher Authentifizierungsstrategien im Zusammenhang mit der Analyse und der Implementierung eines Erfassungssystems

Bearbeiter: Lukas Fedorowicz
Betreuer: Dipl.-Inform. Dirk Wischermann

---

		Contact:
		wischermann@cs.fau.de GPG: B1EB2DBF +49.9131.85.27292 +49.9131.85.28732		Address: Dipl.-Inform. Dirk Wischermann Univ. Erlangen-Nürnberg Informatik 4 Martensstr. 1 91058 Erlangen Germany		Room 0.049     Maps