BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Journal articles

Document subtype
Full paper

Title
Non-intrusive Runtime Verification within a System-on-Chip

Participants in the publication
José Rufino (Author)
Dep. Informática
 LASIGE
 António Casimiro (Author)
Dep. Informática
 LASIGE
 Felix Dino Lange (Author)
Martin Leucker (Author)
Torben Scheffel (Author)
Malte Schmitz (Author)
Daniel Thoma (Author)

Summary
This paper describes how to enrich a System-on-Chip (SoC) design by flexible monitoring capabilities allowing to analyze the system's execution for ensuring safety requirements. To this end, a general SoC architecture is described enriched by observation means. Moreover, it is described how verification properties expressed in a temporal stream-based specification language can be translated into a monitor expressed in a hardware description language (Verilog) checking the underlying property. Finally, the link between the SoC and the monitoring unit is explained. Overall, a self-observing system is obtained that works coherently with the SoC.

Date of Publication
2018-12

Where published
Ada User Journal

Publication Identifiers

Volume
39
Number
4

Number of pages
4
Starting page
296
Last page
299


Export

APA
José Rufino, António Casimiro, Felix Dino Lange, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma, (2018). Non-intrusive Runtime Verification within a System-on-Chip. Ada User Journal, 39, 296-299.

IEEE
José Rufino, António Casimiro, Felix Dino Lange, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma, "Non-intrusive Runtime Verification within a System-on-Chip" in Ada User Journal, vol. 39, pp. 296-299, 2018.

BIBTEX
@article{39617, author = {José Rufino and António Casimiro and Felix Dino Lange and Martin Leucker and Torben Scheffel and Malte Schmitz and Daniel Thoma}, title = {Non-intrusive Runtime Verification within a System-on-Chip}, journal = {Ada User Journal}, year = 2018, pages = {296-299}, volume = 39 }