Online analysis of debug trace data for embedded systems

Decker, Normann; Dreyer, Boris; Gottschling, Philip; Hochberger, Christian; Lange, Alexander; Leucker, Martin; Scheffel, Torben; Wegener, Simon; Weiß, Alexander

doi:10.23919/date.2018.8342124

Cited by 24 publications

(10 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The replicated internal states of the emulator can be accessed by a host machine to gain insights into the system behavior. Decker et al [7] developed an online analysis platform, which processes trace data of an MPSoC in real-time. After execution, the collected data is available for further offline post-processing.…”

Section: Related Workmentioning

confidence: 99%

A Distributed Hardware Monitoring System for Runtime Verification on Multi-Tile MPSoCs

Mettler

Mueller-Gritschneder

Schlichtmann

2020

ACM Trans. Archit. Code Optim.

View full text Add to dashboard Cite

Exhaustive verification techniques do not scale with the complexity of today’s multi-tile Multi-processor Systems-on-chip (MPSoCs). Hence, runtime verification (RV) has emerged as a complementary method, which verifies the correct behavior of applications executed on the MPSoC during runtime. In this article, we propose a decentralized monitoring architecture for large-scale multi-tile MPSoCs. In order to minimize performance and power overhead for RV, we propose a lightweight and non-intrusive hardware solution. It features a new specialized tracing interconnect that distributes and sorts detected events according to their timestamps. Each tile monitor has a consistent view on a globally sorted trace of events on which the behavior of the target application can be verified using logical and timing requirements. Furthermore, we propose an integer linear programming-based algorithm for the assignment of requirements to monitors to exploit the local resources best. The monitoring architecture is demonstrated for a four-tiled MPSoC with 20 cores implemented on a Virtex-7 field-programmable gate array (FPGA).

show abstract

Section: Related Workmentioning

confidence: 99%

A Distributed Hardware Monitoring System for Runtime Verification on Multi-Tile MPSoCs

Mettler

Mueller-Gritschneder

Schlichtmann

2020

ACM Trans. Archit. Code Optim.

View full text Add to dashboard Cite

show abstract

“…Stream-based techniques. Stream-based techniques include LOLA [25], BeepBeep [38], and more recently, the Temporal Stream-Based Specification Language [45,23,26]. Streambased specifications rely on named streams to provide events.…”

Section: Approaches Utilizing Multiple Tracesmentioning

confidence: 99%

Can We Monitor All Multithreaded Programs?

El-Hokayem

Falcone

2018

Runtime Verification

View full text Add to dashboard Cite

HAL is a multidisciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L'archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d'enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

show abstract

“…Similarly to CEP but focusing on Boolean verdicts, various stream-based RV techniques have been elaborated such as LOLA [13] which are used to verify correctness properties for synchronous systems such as the PCI bus protocol and a memory controller. A more recent approach uses the Temporal Stream-Based Specification Language (TeSSLa) to verify embedded systems using FPGAs [14]. Stream-based RV is particularly fast and effective for verifying lengthy parametric traces.…”

Section: Related Workmentioning

confidence: 99%

Bringing Runtime Verification Home

El-Hokayem

Falcone

2018

Runtime Verification

View full text Add to dashboard Cite

We use runtime verification (RV) to check various specifications in a smart apartment. The specifications can be broken down into three types: behavioral correctness of the apartment sensors, detection of specific user activities (known as activities of daily living), and composition of specifications of the previous types. The context of the smart apartment provides us with a complex system with a large number of components with two different hierarchies to group specifications and sensors: geographically within the same room, floor or globally in the apartment, and logically following the different types of specifications. We leverage a recent approach to decentralized RV of decentralized specifications, where monitors have their own specifications and communicate together to verify more general specifications. This allows us to re-use specifications, and combine them to: (1) scale beyond existing centralized RV techniques, and (2) greatly reduce computation and communication costs.

show abstract

Online analysis of debug trace data for embedded systems

Cited by 24 publications

References 10 publications

A Distributed Hardware Monitoring System for Runtime Verification on Multi-Tile MPSoCs

A Distributed Hardware Monitoring System for Runtime Verification on Multi-Tile MPSoCs

Can We Monitor All Multithreaded Programs?

Bringing Runtime Verification Home

Contact Info

Product

Resources

About