“Non-intrusive Observation and Runtime Verification of Avionic Systems”
From Navigators
(Difference between revisions)
(2 intermediate revisions not shown) | |||
Line 1: | Line 1: | ||
{{Publication | {{Publication | ||
|type=article | |type=article | ||
+ | |document=Document for Publication-Rufino18B.pdf | ||
|title=Non-intrusive Observation and Runtime Verification of Avionic Systems | |title=Non-intrusive Observation and Runtime Verification of Avionic Systems | ||
|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= | + | |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 11: | 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
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
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.