“Hardware Support to Non-intrusive Runtime Verification on Processor Technologies”

From Navigators

Revision as of 13:38, 6 June 2018 by Ruf (Talk | contribs)
Jump to: navigation, search

José Rufino

Ada User Journal, Jun. 2018.

Abstract: Software-based instrumentation probes always disturbs the functional and non-functional properties of a system, even if in a minimal way. To avoid the disturbance of system operation, by instrumentation probes, non-intrusive runtime verification must rely on hardware-based technology. This paper reviews classical processor technology to understand which kind of support is provided on each processor family, its intrusiveness, functionality and offered system support.

Export citation


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