“Hardware Support to Non-intrusive Runtime Verification on Processor Technologies”
From Navigators
(Difference between revisions)
(Created page with "{{Publication |type=article |title=Hardware Support to Non-intrusive Runtime Verification on Processor Technologies |author=José Rufino, |Project=Project:NORTH, Project:COST Ac...") |
|||
Line 2: | Line 2: | ||
|type=article | |type=article | ||
|title=Hardware Support to Non-intrusive Runtime Verification on Processor Technologies | |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, |
|ResearchLine=Timeliness and Adaptation in Dependable Systems (TADS) | |ResearchLine=Timeliness and Adaptation in Dependable Systems (TADS) | ||
|month=jun | |month=jun | ||
|year=2018 | |year=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. | ||
|journal=Ada User Journal | |journal=Ada User Journal | ||
}} | }} | ||
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:38, 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.