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:schlich [2009/08/05 16:15] schlich |
lehrstuhl:mitarbeiter:schlich [2009/08/07 11:40] schlich |
||
|---|---|---|---|
| Zeile 4: | Zeile 4: | ||
| {| | {| | ||
| |- | |- | ||
| - | || {{:lehrstuhl:mitarbeiter:schlich2.jpg|}} | + | || {{:lehrstuhl:mitarbeiter:schlich.jpg|}} |
| || | || | ||
| Post-Doktorand\\ | Post-Doktorand\\ | ||
| Zeile 19: | Zeile 19: | ||
| |} | |} | ||
| */ | */ | ||
| - | {{:lehrstuhl:mitarbeiter:schlich2.jpg?150|}}\\ | + | {{:lehrstuhl:mitarbeiter:schlich.jpg?150|}}\\ |
| \\ | \\ | ||
| Post-Doktorand\\ | Post-Doktorand\\ | ||
| Zeile 40: | Zeile 40: | ||
| ===== Persönlich ===== | ===== Persönlich ===== | ||
| - | Seit Juli 2008 bin ich Post-Doktorand am Lehrstuhl Informatik 11 - Software für eingebettete Systeme. An diesem Lehrstuhl leite ich die Gruppe Formale Verifikation. Mein Forschungsschwerpunkt ist die formale Verifikation von Software für eingebettete Systeme. Unter formaler Verifikation verstehe ich die Anwendung von Methoden wie z. B. statische Analyse, abstrakte Interpretation und Model-Checking.\\ | + | Seit Juli 2008 bin ich Post-Doktorand am Lehrstuhl Informatik 11 (Software für eingebettete Systeme). An diesem Lehrstuhl leite ich die Gruppe Formale Verifikation. Mein Forschungsschwerpunkt ist die formale Verifikation von Software für eingebettete Systeme. Unter formaler Verifikation verstehe ich die Anwendung von Methoden wie z. B. statische Analyse, abstrakte Interpretation und Model-Checking.\\ |
| \\ | \\ | ||
| - | In der Gruppe arbeiten wir an einem Werkzeug zur Analyse von Assembler-Code für Mikrocontroller und AWL-Programmen für SPSen. Das Werkzeug heißt [[http://www.embedded.rwth-aachen.de/mc_square|[mc]square]]. In diesem Werkezug kombinieren wir unterschiedliche formale Methoden und passen sie an die Gegebenheiten von eingebetteten Systemen an. Das Werkzeug soll möglichst leicht zu benutzen sein und keine Änderungen an den zu verifizierenden Programmen benötigen.\\ | + | In der Gruppe arbeiten wir an einem Werkzeug zur Analyse von Assembler-Code für Mikrocontroller und AWL-Programmen für SPSen. Das Werkzeug heißt [[http://www.embedded.rwth-aachen.de/mc_square|[mc]square]]. In diesem Werkezug kombinieren wir unterschiedliche formale Methoden und passen sie an die Gegebenheiten von eingebetteten Systemen an. Das Hauptaugenmerk hierbei liegt auf der Anwendung theoretischer Resultate auf reale Probleme. Das Werkzeug soll möglichst leicht zu benutzen sein und keine Änderungen an den zu verifizierenden Programmen benötigen.\\ |
| + | \\ | ||
| + | In einem weiteren Projekt entwickeln wir ein Werkezug für die statische Analyse von C Code, welches die Entwicklung von eingebetteter Software anhand des bevorstehenden ISO Standards ISO 26262 unterstützen soll. Wir werden zuerst ein Plugin für die Eclipse Entwicklungsumgebung erstellen. Später werden wir auch ein Plugin für die Microsoft Visual Studio Entwicklungsumgebung implementieren.\\ | ||
| \\ | \\ | ||
| Meinen Doktortitel habe ich im Juni 2008 von der RWTH Aachen erhalten. Der Titel meiner Dissertation lautet "Model Checking of Software for Microcontrollers". Meine Diplomarbeit habe ich am Lehrstuhl für Software-Technologie der Universität Dortmund geschrieben. Der Titel meiner Diplomarbeit ist "Konzeption und Realisierung eines Werkzeugs zur Unterstützung der Test-Driven-Developments".\\ | Meinen Doktortitel habe ich im Juni 2008 von der RWTH Aachen erhalten. Der Titel meiner Dissertation lautet "Model Checking of Software for Microcontrollers". Meine Diplomarbeit habe ich am Lehrstuhl für Software-Technologie der Universität Dortmund geschrieben. Der Titel meiner Diplomarbeit ist "Konzeption und Realisierung eines Werkzeugs zur Unterstützung der Test-Driven-Developments".\\ | ||
| - | ===== Research Interests ===== | + | ===== Forschungsinteressen ===== |
| - | * formal verification | + | * Formale Methoden |
| - | * software model checking | + | * Software Model-Checking |
| - | * model checking of assembly code | + | * Statische Analyse |
| - | * software for embedded systems | + | * Abstrakte Interpretation |
| - | * software for microcontrollers | + | * Eingebettete Software |
| + | * Assembler-Code | ||
| + | * C-Code | ||
| + | * Mikrocontroller | ||
| + | * Speicherprogrammierbare Steuerungen | ||
| ===== Publikationen ===== | ===== Publikationen ===== | ||