Automated Redirection of Hardware Accesses for Host-Compiled Software Simulation

For host-compiled software simulation it is required that accesses from the target software to memory-mapped hardware are identified, so that they can be redirected to a virtual prototype. This is straight-forward if the software uses a hardware abstraction layer as interface. If such an interface i...

Full description

Saved in:

Bibliographic Details
Published in:	2018 Forum on Specification & Design Languages (FDL) pp. 5 - 16
Main Authors:	Stahl, Rafael, Mueller-Gritschneder, Daniel, Schlichtmann, Ulf
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01-09-2018
Subjects:	Analytical models Engines Hardware hardware accesses host-compiled simulation Indexes Prototypes Software source-Ievel simulation static analysis
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
Summary:	For host-compiled software simulation it is required that accesses from the target software to memory-mapped hardware are identified, so that they can be redirected to a virtual prototype. This is straight-forward if the software uses a hardware abstraction layer as interface. If such an interface is not used by existing or third-party source code, the rewriting of the code for host-compiled simulation involves a considerable manual effort. In this paper, we present a method to automate this process with the help of a symbolic execution engine. With our approach the time to adjust software for host-compilation is significantly reduced. We show that the most memory-mapped hardware accesses are correctly rewritten in a real-world application by comparing recorded access traces on a virtual prototype. Additionally, a test suite has been developed to cover edae-cases,
DOI:	10.1109/FDL.2018.8524038