Publication

Semi-Formal Cycle-Accurate Temporal Execution Traces Reconstruction

Rehab Massoud, Jannis Ulrich Stoppe, Daniel Große, Rolf Drechsler

In: 15th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS). International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS-15) 15th September 5-7 Berlin Germany 2017.

Abstract

Today’s Real-Time Systems’ (RTSs) increasing speed andcomplexity make debugging of timing related faults one of the mostchallenging engineering tasks. Debugging starts with capturing the faultsymptoms, which requires continuous cycle-accurate execution traces.However, due to limitations of on-chip buffers’ area and output ports’throughput, these cannot be obtained easily.This paper introduces an approach that divides the tracing into twotasks, monitoring on-chip execution to retrieve accurate timing informa-tion and high level functional simulation to retrieve signal contents. Asemi-formal cycle-accurate reconstruction method uses these two sourcesto retrieve a complete, cycle-accurate trace of a given signal. An experi-ment illustrates how this method allows the cycle-accurate reconstructionof on-chip traces of a Real-Time Autonomous-Guided-Vehicle software.

Projekte

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz