TU BRAUNSCHWEIG

Dipl.-Inform. Dennis Klar

Dipl.-Inform. Dennis Klar
Phone +49 (0)531 391-9527
fax +49 (0)531 391-9529
E-mail ed.giewhcsnuarb-ut@ralk.d
Technische Universität Braunschweig
Institut für Theoretische Informatik
Mühlenpfordtstr. 22-23, Raum 310
D-38106 Braunschweig

Forschungsinteressen

  • Modellbasierte Diagnose von industriellen Automatisierungssystemen
  • Formale Methoden, Discrete Event Systems und Kausalmodelle
  • Modellgetriebene Entwicklung, domänenspezifische Sprachen und Modellierung
  • Anwendungsgebiet: Rail Automation (Bahnsicherungstechnik, Stellwerke, Fahrzeugsysteme)

Projekte

  • "Modellbasierte Diagnose von Bahnsicherungssystemen"
    • in Kooperation mit Siemens Mobility Division, Braunschweig
    • siehe Projektseite
  • "Adaptive Interaktionsmechanismen" (AIM) im Projekt "IT Ökosysteme"
    • Forschungsprojekt der Niedersächsischen Technischen Hochschule (NTH)
    • siehe Projektseite

Veröffentlichungen

  • Dennis Klar, Michaela Huhn:
    Interfaces and Models for the Diagnosis of Cyber-Physical Ecosystems,
    6th IEEE International Conference on Digital Ecosystem Technologies - Complex Environment Engineering (DEST-CEE), Campione d’Italia, Italien, Juni 2012
  • Dennis Klar, Michaela Huhn:
    Integration domänenspezifischer Modellierung in der Diagnose von Automatisierungssystemen [PDF],
    In: Softwaretechnik-Trends 32 (2012), Nr. 2, Gesellschaft für Informatik, Mai 2012
  • Dennis Klar, Michaela Huhn:
    Integration domänenspezifischer Modellierung in der Diagnose von Automatisierungssystemen,
    Workshop Modellierung in der Automatisierungstechnik (MAT), März 2012
  • Dennis Klar, Michaela Huhn:
    Diagnosis and Diagnosability Based on a Symptom Propagation and Transformation Model,
    13th IEEE International Conference on Industrial Technology (ICIT 2012), Athen, Griechenland, März 2012
  • Dennis Klar, Michaela Huhn, Jochen Grühser:
    Symptom Propagation and Transformation Analysis: A Pragmatic Model for System-level Diagnosis of Large Automation Systems,
    16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2011), Toulouse, Frankreich, September 2011
  • Dennis Klar, Michaela Huhn, Jochen Grühser:
    Diagnosis in Rail Automation: A Case Study on Megamodels in Practise,
    7. Dagstuhl-Workshop Modellbasierte Entwicklung eingebetteter Systeme (MBEES VII), 2011
  • Dennis Klar, Michaela Huhn:
    Partial Order Algorithms for Model-based Diagnosis of Discrete Event Systems,
    5. Dagstuhl-Workshop Modellbasierte Entwicklung eingebetteter Systeme (MBEES V), 2009

  aktualisiert am 04.04.2013
TU_Icon_E_Mail_1_17x17_RGB Zum Seitenanfang