Dr. Dennis Klassen
Anschrift:
Dennis Klassen
Universität Paderborn
Institut für Informatik
Fakultät für Elektrotechnik,
Informatik und Mathematik
Fürstenallee 11
33102 Paderborn
Deutschland
Raum: F2.305
Tel.: 05251 / 60-
Fax: 05251 / 60-
e-mail: dennis (dot) klassen (at) gmx (dot) de
Forschung
Ich beschäftige mich mit der Entwicklung von visuellen domänenspezifischen Sprachen und Validierungsmethoden. Während meiner Diplomarbeit habe ich eine visuelle Sprache entwickelt, die im realen Umfeld bei der Robert Bosch GmbH eingesetzt wird. Im Zuge meiner Dissertation habe ich die visuelle Sprache ViCE-UPSLA für die Spezifikation, Simulation und Validierung von Prozessoren entwickelt. Mit ViCE-UPSLA wird die Spezifikation von Prozessoren auf einem hohen Abstraktionsniveau mit den visuellen Konzepten aus dem Prozessorentwurf ermöglicht. Aus einer Prozessorspezifikation in ViCE-UPSLA werden effiziente Simulatoren des Prozessors automatisch generiert. Außerdem ermöglicht die entwickelte Sprache eine statische und dynamische Validierung der Entwürfe. Für die dynamische Validierung der Entwürfe werden die Testfälle teilweise oder vollständig generiert. Dabei stützen sich die dynamischen Validierungsmethoden auf die Konzepte des modellbasierten Testens. Die Bearbeitung und Entwicklung eigener Testfälle werden durch eine zusätzliche visuelle Modellierungssprache in dem Werkzeugsystem ermöglicht.
Veröffentlichungen
KCK08 Dennis Klassen, Bastian Cramer and Uwe Kastens Entwicklung und Evaluierung einer domänenspezifischen Sprache für SPS-Schrittketten In Modellierung 2008, Workshop Domänenspezifische Modellierungssprachen, Berlin, März 2008
Kla10 Dennis Klassen Entwicklung einer visuellen domänenspezifischen Sprache: Konzeption, Implementation, Evaluation Vdm Verlag Dr. Müller 2010
Kla13 Dennis Klassen ViCE-UPSLA: A Visual High Level Language for Accurate Simulation of Interlocked Pipelined Processors, In Proceedings of ATPS Workshop on SE13 Software Engineering, 2013
Lehre