Logo des Repositoriums

Auflistung nach Autor:in "Haubelt, Christian"

1 - 3 von 3
  • Konferenzbeitrag
    Ein abstraktes SystemC-Modell zur Analyse und Leistungsabschätzung des europäischen Zugsicherungssystems ETCS
    (Informatik 2014, 2014) Beichler, Benjamin; Nitsch, Alexander; Golatowski, Frank; Haubelt, Christian
    In diesem Beitrag wird ein SystemC-Modell der Geschwindigkeitsund Abstandsüberwachung aus dem European Train Control System (ETCS) vorgestellt. Dieses Modell dient als Ausgangspunkt für die frühzeitige Abschätzung der Leistungsfähigkeit des Systems und die in der Berechnung entstehenden Datenmengen. Hierfür wurde eine neuartige Methode entwickelt, welche es bei minimalen Anpassungen am Anwendungsmodell erlaubt, schnell unterschiedliche Entwurfsalternativen zu explorieren. Dabei werden SystemC- Prozesse in Abhängigkeit von Scheduling-Entscheidungen gestartet, deren Kommunikationsverhalten aufgezeichnet und anschließend Ausführungs- und Kommunikationszeiten simuliert.
  • Konferenzbeitrag
    Automatic test case generation with NuSMV
    (INFORMATIK 2006 – Informatik für Menschen – Band 2, Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2006) Bunin, Grygoriy; Schneider, Axel; Haubelt, Christian; Langer, Jan; Heinkel, Ulrich
    Formal verification has become a key technology to ensure the quality of complex (hardware/software) systems. Although formal verification is widely used in the hardware design phase, it plays a minor role in software or even system development. In this paper, we describe how we used the model checker NuSMV to automatically generate executable test cases from an abstract system description.
  • Journal
    Design Space Exploration with Answer Set Programming
    (KI - Künstliche Intelligenz: Vol. 32, No. 2-3, 2018) Haubelt, Christian; Neubauer, Kai; Schaub, Torsten; Wanko, Philipp