---
_id: '24060'
abstract:
- lang: ger
  text: 'In diesem Artikel stellen wir eine Methode zur nicht-invasiven dynamischen
    Speicher- und IO-Analyse mit QEMU für sicherheitskritische eingebettete Software
    für die RISC-V Befehlssatzarchitektur vor. Die Implementierung basiert auf einer
    Erweiterung des Tiny Code Generator (TCG) des quelloffenen CPU-Emulators QEMU
    um die dynamische Identifikation von Zugriffen auf Datenspeicher sowie auf an
    die CPU angeschlossene IO-Geräte. Wir demonstrieren die Funktionalität der Methode
    anhand eines Versuchsaufbaus, bei dem eine Schließsystemkontrolle mittels serieller
    UART-Schnittstelle an einen RISC-V-Prozessor angebunden ist. Dieses Szenario zeigt,
    dass ein unberechtigter Zugriff auf die UART-Schnittstelle frühzeitig aufgedeckt
    und ein Angriff auf eine Zugangskontrolle somit endeckt werden kann. '
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
citation:
  ama: 'Adelt P, Koppelmann B, Müller W, Scheytt C. Analyse sicherheitskritischer
    Software für RISC-V Prozessoren. In: <i>MBMV 2019-22.Workshop Methoden Und Beschreibungssprachen
    Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2019)</i>.
    ; 2019.'
  apa: Adelt, P., Koppelmann, B., Müller, W., &#38; Scheytt, C. (2019). Analyse sicherheitskritischer
    Software für RISC-V Prozessoren. <i>MBMV 2019-22.Workshop Methoden Und Beschreibungssprachen
    Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2019)</i>.
  bibtex: '@inproceedings{Adelt_Koppelmann_Müller_Scheytt_2019, place={Kaiserslautern,
    DE}, title={Analyse sicherheitskritischer Software für RISC-V Prozessoren}, booktitle={MBMV
    2019-22.Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation
    von Schaltungen und Systemen (MBMV 2019)}, author={Adelt, Peer and Koppelmann,
    Bastian and Müller, Wolfgang and Scheytt, Christoph}, year={2019} }'
  chicago: Adelt, Peer, Bastian Koppelmann, Wolfgang Müller, and Christoph Scheytt.
    “Analyse Sicherheitskritischer Software Für RISC-V Prozessoren.” In <i>MBMV 2019-22.Workshop
    Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen
    Und Systemen (MBMV 2019)</i>. Kaiserslautern, DE, 2019.
  ieee: P. Adelt, B. Koppelmann, W. Müller, and C. Scheytt, “Analyse sicherheitskritischer
    Software für RISC-V Prozessoren,” 2019.
  mla: Adelt, Peer, et al. “Analyse Sicherheitskritischer Software Für RISC-V Prozessoren.”
    <i>MBMV 2019-22.Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und
    Verifikation von Schaltungen Und Systemen (MBMV 2019)</i>, 2019.
  short: 'P. Adelt, B. Koppelmann, W. Müller, C. Scheytt, in: MBMV 2019-22.Workshop
    Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen
    Und Systemen (MBMV 2019), Kaiserslautern, DE, 2019.'
conference:
  end_date: 2019.04.08
  start_date: 2019.04.08
date_created: 2021-09-09T12:26:16Z
date_updated: 2022-01-06T06:56:06Z
department:
- _id: '58'
language:
- iso: eng
place: Kaiserslautern, DE
publication: MBMV 2019-22.Workshop Methoden und Beschreibungssprachen zur Modellierung
  und Verifikation von Schaltungen und Systemen (MBMV 2019)
publication_identifier:
  isbn:
  - 978-3-8007-4945-4
related_material:
  link:
  - relation: confirmation
    url: https://www.vde-verlag.de/proceedings-de/454945007.html
status: public
title: Analyse sicherheitskritischer Software für RISC-V Prozessoren
type: conference
user_id: '15931'
year: '2019'
...