“Hardware Support to Non-intrusive Runtime Verification on Processor Technologies”

From Navigators

(Difference between revisions)
Jump to: navigation, search
Line 1: Line 1:
{{Publication
{{Publication
|type=article
|type=article
-
|title=Non-intrusive Observation and Runtime Verification of Avionic Systems
+
|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=Unmanned autonomous systems (UAS) avionics call for advanced computing system architectures fulfilling strict size, weight and power consumption (SWaP) requisites. The AIR (ARINC 653 in Space Real-Time Operating System) defines a partitioned environment for the development and execution of aerospace applications, preserving application timing and safety requisites.  
+
|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 intensively explores the potential of non-intrusive runtime verification (NIRV) mechanisms, currently being included in AIR, to the overall improvement of system safety.
+
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

José Rufino

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

BibTeX

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.

Personal tools
Navigators toolbox