Browse wiki

From Navigators

Jump to: navigation, search
Publication:RCPinto2014rv
Abstract Support for Run-time Verification (RV) has Support for Run-time Verification (RV) has mostly been provided by software mechanisms, via the instrumentation of code for observing (monitor) and handling deviations from specification. Although this approach is fitting for some domains, it can have a nefarious influence in embedded real-time systems, impacting the system from the analysis to the operation stages. <br><br> A novel alternative to code instrumentation is the embedding of such mechanisms directly in hardware, thus negating the impact in system properties, namely timeliness. The availability of soft-processors and companion System-on-a-Chip (SoC) Intellectual Property cores enable the hardware-based approach to RV. <br><br> This paper addresses the foundations for RV support via hardware mechanisms. A flexible observer entity is defined, to be merged into a SoC architecture. Monitoring is performed at the SoC bus that interconnects processor and peripherals, enabling the gathering of information regarding events of interest occurring during system execution and relaying it to external entities for handling. ying it to external entities for handling.
Address Madrid, Spain  +
Author Ricardo Correia Pinto + , José Rufino +
Booktitle Work-in-Progress Session of the 26th Euromicro Conference on Real-Time Systems (ECRTS)  +
Document Document for Publication-RCPinto2014rv.pdf +
Key RCPinto2014rv  +
Month jul  +
NumPubDate 2,014.07  +
Pages 25–28  +
Project Project:READAPT +
ResearchLine Timeliness and Adaptation in Dependable Systems (TADS) +
Title Towards Non-invasive Run-time Verification of Real-Time Systems  +
Type inproceedings  +
Year 2014  +
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. 23 July 2014 11:50:08  +
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