Browse wiki

From Navigators

Jump to: navigation, search
Publication:Rufino18C
Abstract This paper describes how to enrich a Syste 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. tained that works coherently with the SoC.
Author José Rufino + , Felix Dino Lange + , Martin Leucker + , Torben Scheffel + , Malte Schmitz + , Daniel Thoma + , António Casimiro +
Document Document for Publication-Rufino18C.pdf +
Journal Ada User Journal  +
Key Rufino18C  +
Month dec  +
NumPubDate 2,018.12  +
Pages 296–299  +
Project Project:NORTH + , Project:COST Action IC1402 +
ResearchLine Timeliness and Adaptation in Dependable Systems (TADS) +
Title Non-intrusive Runtime Verification within a System-on-Chip  +
Type article  +
Volume 39  +
Year 2018  +
Has improper value forThis property is a special property in this wiki. Url  +
Categories Publication  +
Modification dateThis property is a special property in this wiki. 1 May 2019 12:37:03  +
NumberThis property is a special property in this wiki. 4  +
hide properties that link here 
  No properties link to this page.
 

 

Enter the name of the page to start browsing from.
Views
Personal tools
Toolbox
Navigators toolbox