“Hardware Support for Non-intrusive Runtime Verification on Processor Technologies”
From Navigators
(Difference between revisions)
(Created page with "{{Publication |type=inproceedings |title=Non-intrusive Observation and Runtime Verification of Avionic Systems |author=José Rufino, |Project=Project:NORTH, Project:COST Action ...") |
|||
(5 intermediate revisions not shown) | |||
Line 1: | Line 1: | ||
{{Publication | {{Publication | ||
- | |type= | + | |type=article |
- | |title=Non-intrusive | + | |document=Document for Publication-Rufino18A.pdf |
- | |author=José Rufino, | + | |title=Hardware Support for Non-intrusive Runtime Verification on Processor Technologies |
- | |Project=Project:NORTH, Project:COST Action IC1402, | + | |author=José Rufino, |
+ | |Project=Project:NORTH, Project:COST Action IC1402, | ||
|ResearchLine=Timeliness and Adaptation in Dependable Systems (TADS) | |ResearchLine=Timeliness and Adaptation in Dependable Systems (TADS) | ||
- | |month= | + | |month=dec |
|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 | ||
- | | | + | |volume=39 |
+ | |number=4 | ||
+ | |pages=287--290 | ||
}} | }} | ||
+ | Also as Proceedings of the RUME 2018 - Runtime Verification and Monitoring Technologies for Embedded Systems Workshop. |
Latest revision as of 12:22, 1 May 2019
Ada User Journal, vol. 39, no. 4, pp. 287–290, Dec. 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.
Download paper
Download Hardware Support for Non-intrusive Runtime Verification on Processor Technologies
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.