“Non-intrusive Observation and Runtime Verification of Avionic Systems”

From Navigators

(Difference between revisions)
Jump to: navigation, search
 
(One intermediate revision not shown)
Line 6: Line 6:
|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=dec
|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=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.  
Line 12: Line 12:
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 intensively explores the potential of non-intrusive runtime verification (NIRV) mechanisms, currently being included in AIR, to the overall improvement of system safety.
|journal=Ada User Journal
|journal=Ada User Journal
 +
|volume=39
 +
|number=4
 +
|pages=300--304
}}
}}
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.

Latest revision as of 12:19, 1 May 2019

José Rufino

Ada User Journal, vol. 39, no. 4, pp. 300–304, Dec. 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. 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.

Download paper

Download Non-intrusive Observation and Runtime Verification of Avionic Systems

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