Browse wiki
From Navigators
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. |