“Hardware Support to Non-intrusive Runtime Verification on Processor Technologies”
From Navigators
(Difference between revisions)
Line 1: | Line 1: | ||
{{Publication | {{Publication | ||
|type=article | |type=article | ||
- | |title=Non-intrusive | + | |title=Hardware Support to Non-intrusive Runtime Verification on Processor Technologies |
|author=José Rufino, | |author=José Rufino, | ||
|Project=Project:NORTH, Project:COST Action IC1402, | |Project=Project:NORTH, Project:COST Action IC1402, | ||
Line 7: | Line 7: | ||
|month=jun | |month=jun | ||
|year=2018 | |year=2018 | ||
- | |abstract= | + | |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 | + | 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. |
|journal=Ada User Journal | |journal=Ada User Journal | ||
|address=Lisboa, Portugal | |address=Lisboa, Portugal | ||
}} | }} | ||
Also as Proceedings of the RUME 2018 - Runtime Verification and Monitoring Technologies for Embedded Systems Workshop. | Also as Proceedings of the RUME 2018 - Runtime Verification and Monitoring Technologies for Embedded Systems Workshop. |
Revision as of 13:41, 6 June 2018
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.