Grimm, Christoph; Schneider, Klaus; Zivkovic, Carna (Hrsg.)

MBMV 2019

22. Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”

2019, VI, 98 Seiten, Slimlinebox, CD-Rom
ISBN 978-3-8007-4945-4, E-Book: ISBN 978-3-8007-4946-1
Persönliche VDE-Mitglieder erhalten auf diesen Titel 10% Rabatt

Inhaltsverzeichnis Vorwort

MBMV ist der jährlich stattfindende Workshop der GMM/ITG/GI-Fachgruppen 3 und 4 und wurde 2019 vom 8.-9. April in Kaiserslautern organisiert.

Das Ziel des Workshops besteht darin, Experten aus Industrie und Forschung zusammenzubringen, um gemeinsam neue Trends, Ergebnisse und aktuelle Fragen auf dem Gebiet der Modellierung und der Verifikation von Schaltungen und Systemen zu diskutieren.

Der vorliegende Tagungsband ist eine ausgewählte Sammlung von 8 wissenschaftlichen Beiträgen und 8 weiteren Übersichtsvorträgen. Übersichtsvorträge berichten über bereits veröffentlichte Ergebnisse oder über noch unvollständige Arbeiten und werden als kurze Zusammenfassungen in diesem Tagungsband veröffentlicht. Wissenschaftliche Beiträge präsentieren neue Ergebnisse und werden zusätzlich als volle Beiträge in IEEE Xplore veröffentlicht.
Herausgeber:
Prof. Dr. Christoph Grimm, Technische Universität Kaiserslautern
Prof. Dr. Klaus Schneider, Technische Universität Kaiserslautern
Dr.-Ing. Carna Zivkovic, Technische Universität Kaiserslautern

1

ACCESS: HW/SW-Co-Equivalence Checking for Firmware Optimization

Autoren: Schwarz, Michael; Stoffel, Dominik; Kunz, Wolfgang

2

Inductive Proof Rules Beyond Safety Properties

Autoren: Koehler, Martin; Schneider, Klaus

3

Approximation of Neural Networks for Verification

Autoren: Bahnsen, Fin Hendrik; Fey, Goerschwin

4

Self-Explaining Digital Systems – Some Technical Steps

Autoren: Fey, Goerschwin; Drechsler, Rolf

5

Analyse sicherheitskritischer Software für RISC-V Prozessoren

Autoren: Adelt, Peer; Koppelmann, Bastian; Mueller, Wolfgang; Scheytt, Christoph

6

Optimization Framework for Hardware Design of Engine Control Units

Autoren: Kmitina, Iryna; Bannow, Nico; Grimm, Christoph; Zielinski, Daniel; Zivkovic, Carna

7

Logic Optimization of Majority-Inverter Graphs

Autoren: Riener, Heinz; Testa, Eleonora; Haaswijk, Winston; Mishchenko, Alan; Amaru, Luca; De Micheli, Giovanni; Soeken, Mathias

8

How to Keep 4-Eyes Principle in a Design and Property Generation Flow

Autoren: Devarajegowda, Keerthikumara; Ecker, Wolfgang; Kunz, Wolfgang

9

Automated Sensor Firmware Development – Generation, Optimization, and Analysis

Autoren: Rudolf, Jens; Strobel, Manuel; Benz, Joscha; Haubelt, Christian; Radetzki, Martin; Bringmann, Oliver

10

SEMAS – System Engineering Methodology for Automated Systems | The world described in layers

Autoren: Hedderich, Markus; Heimberger, Markus; Klekamp, Axel

11

12

Model-Based Configuration of a Coarse-Grained Reconfigurable Architecture

Autoren: Froemmer, Jens; Bannow, Nico; Aue, Axel; Grimm, Christoph; Schneider, Klaus