---
_id: '32132'
abstract:
- lang: ger
  text: "Die Werkzeugdemonstration des QEMU Timing Analyzers (QTA) stellt eine Erweiterung
    des quelloffenen CPU Emulators QEMU zur Simulation von Softwareprogrammen und
    deren Worst-Case Zeitverhaltens vor, das durch eine statische Zeitanalyse vorher
    aus dem Softwareprogramm extrahiert wurde. Der Ablauf der Analyse gliedert sich
    in mehrere Schritte: Zunächst wird für das zu simulierende Binärprogramm eine
    WCET-Analyse mit aiT durchgeführt. Im Preprocessing des aiT-Reports wird daraufhin
    ein WCET-annotierter Kontrollflussgraph erzeugt. Dabei entsprechen die Knoten
    im Kontrollflussgraph den aiT-Blöcken und die Kanten dem jeweiligen Worst-Case-Zeitverbrauch,
    um das Programm im aktuellen Ausführungskontext vom Quell- bis zum Zielblock laufen
    zu lassen. Nach dem Preprocessing werden Binärprogramm und der zuvor erzeugte,
    zeitannotierte Kontrollflussgraph von QEMU geladen und gemeinsam simuliert.\r\n\r\nDie
    Implementierung des QTA basiert auf der Standard TGI Plugin API (Tiny Code Generator
    Plugin API), die seit Ende 2019 mit QEMU V4.2 verfügbar ist. Dieses API erlaubt
    die Entwicklung von versionsunabhängigen QEMU-Erweiterungen. Die QEMU-QTA-Erweiterung
    wird zum Zeitpunkt der Werkzeugdemonstration inklusive des ait2qta-Preprozessors
    unter github.com im Quellcode frei verfügbar sein.\r\n\r\nDie Demonstration geht
    von einer existierenden aiT-Analyse eines für TriCore© kompilierten binären Softwareprograms
    aus, erläutert das Kontrollflusszwischenformat und zeigt die zeitannotierte Simulation
    der Software."
author:
- first_name: Peer
  full_name: Adelt, Peer
  id: '5603'
  last_name: Adelt
- first_name: Bastian
  full_name: Koppelmann, Bastian
  id: '25260'
  last_name: Koppelmann
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Christoph
  full_name: Scheytt, Christoph
  id: '37144'
  last_name: Scheytt
  orcid: https://orcid.org/0000-0002-5950-6618
citation:
  ama: 'Adelt P, Koppelmann B, Müller W, Scheytt C. QEMU zur Simulation von Worst-Case-Ausführungszeiten.
    In: <i>MBMV 2021 - Methods and Description Languages for Modelling and Verification
    of Circuits and Systems; GMM/ITG/GI-Workshop</i>. VDE; 2021.'
  apa: Adelt, P., Koppelmann, B., Müller, W., &#38; Scheytt, C. (2021). QEMU zur Simulation
    von Worst-Case-Ausführungszeiten. <i>MBMV 2021 - Methods and Description Languages
    for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop</i>.
  bibtex: '@inproceedings{Adelt_Koppelmann_Müller_Scheytt_2021, place={Munich, DE},
    title={QEMU zur Simulation von Worst-Case-Ausführungszeiten}, booktitle={MBMV
    2021 - Methods and Description Languages for Modelling and Verification of Circuits
    and Systems; GMM/ITG/GI-Workshop}, publisher={VDE}, author={Adelt, Peer and Koppelmann,
    Bastian and Müller, Wolfgang and Scheytt, Christoph}, year={2021} }'
  chicago: 'Adelt, Peer, Bastian Koppelmann, Wolfgang Müller, and Christoph Scheytt.
    “QEMU zur Simulation von Worst-Case-Ausführungszeiten.” In <i>MBMV 2021 - Methods
    and Description Languages for Modelling and Verification of Circuits and Systems;
    GMM/ITG/GI-Workshop</i>. Munich, DE: VDE, 2021.'
  ieee: P. Adelt, B. Koppelmann, W. Müller, and C. Scheytt, “QEMU zur Simulation von
    Worst-Case-Ausführungszeiten,” 2021.
  mla: Adelt, Peer, et al. “QEMU zur Simulation von Worst-Case-Ausführungszeiten.”
    <i>MBMV 2021 - Methods and Description Languages for Modelling and Verification
    of Circuits and Systems; GMM/ITG/GI-Workshop</i>, VDE, 2021.
  short: 'P. Adelt, B. Koppelmann, W. Müller, C. Scheytt, in: MBMV 2021 - Methods
    and Description Languages for Modelling and Verification of Circuits and Systems;
    GMM/ITG/GI-Workshop, VDE, Munich, DE, 2021.'
conference:
  end_date: 2021-03-19
  start_date: 2021-03-18
date_created: 2022-06-23T12:07:10Z
date_updated: 2022-12-06T13:24:44Z
department:
- _id: '58'
keyword:
- QEMU
- aiT
- Zeitannotation
- WCET
language:
- iso: ger
place: Munich, DE
publication: MBMV 2021 - Methods and Description Languages for Modelling and Verification
  of Circuits and Systems; GMM/ITG/GI-Workshop
publication_status: published
publisher: VDE
status: public
title: QEMU zur Simulation von Worst-Case-Ausführungszeiten
type: conference
user_id: '5603'
year: '2021'
...