“Towards Non-invasive Run-time Verification of Real-Time Systems”

From Navigators

Revision as of 12:21, 17 July 2014 by Rcp (Talk | contribs)
Jump to: navigation, search

Ricardo Correia Pinto, José Rufino

in Work-in-Progress Session of the 26th Euromicro Conference on Real-Time Systems (ECRTS 2014), Madrid, Spain, Jul. 2014, pp. 25–28.

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

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.

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.

Download paper

Download Towards Non-invasive Run-time Verification of Real-Time Systems

Export citation


Project(s): Project:READAPT

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

Personal tools
Navigators toolbox