Browse wiki

From Navigators

Jump to: navigation, search
Publication:Rufino18A
Abstract Software-based instrumentation probes alwa 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. functionality and offered system support.
Author José Rufino +
Document Document for Publication-Rufino18A.pdf +
Journal Ada User Journal  +
Key Rufino18A  +
Month dec  +
NumPubDate 2,018.12  +
Pages 287–290  +
Project Project:NORTH + , Project:COST Action IC1402 +
ResearchLine Timeliness and Adaptation in Dependable Systems (TADS) +
Title Hardware Support for Non-intrusive Runtime Verification on Processor Technologies  +
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:22:17  +
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