“Non-intrusive Runtime Verification within a System-on-Chip”

From Navigators

(Difference between revisions)
Jump to: navigation, search
Line 1: Line 1:
{{Publication
{{Publication
|type=article
|type=article
 +
|document=Document for Publication-Rufino18C.pdf
|title=Non-intrusive Runtime Verification within a System-on-Chip
|title=Non-intrusive Runtime Verification within a System-on-Chip
|author=José Rufino, Felix Dino Lange, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma, António Casimiro,
|author=José Rufino, Felix Dino Lange, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma, António Casimiro,
Line 9: Line 10:
|abstract=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.
|abstract=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.
|journal=Ada User Journal
|journal=Ada User Journal
 +
|pages=296--299
}}
}}
Also as Proceedings of the RUME 2018 - Runtime Verification and Monitoring Technologies for Embedded Systems Workshop.
Also as Proceedings of the RUME 2018 - Runtime Verification and Monitoring Technologies for Embedded Systems Workshop.

Revision as of 12:26, 1 May 2019

José Rufino, Felix Dino Lange, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma, António Casimiro

Ada User Journal, pp. 296–299, Jun. 2018.

Abstract: 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.

Download paper

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

Export citation

BibTeX

Project(s): Project:NORTH, Project:COST Action IC1402

Research line(s): Timeliness and Adaptation in Dependable Systems (TADS)

Also as Proceedings of the RUME 2018 - Runtime Verification and Monitoring Technologies for Embedded Systems Workshop.

Personal tools
Navigators toolbox