“Non-intrusive Observation and Runtime Verification of Avionic Systems”
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 ...") |
|||
| Line 1: | Line 1: | ||
{{Publication | {{Publication | ||
| - | |type= | + | |type=article |
|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=jun | |month=jun | ||
| Line 12: | Line 12: | ||
|journal=Ada User Journal | |journal=Ada User Journal | ||
|address=Lisboa, Portugal | |address=Lisboa, Portugal | ||
| - | |booktitle= | + | |booktitle=also as Proceedings of the RUME 2018 - Runtime Verification and Monitoring Technologies for Embedded Systems Workshop |
}} | }} | ||
Revision as of 13:29, 6 June 2018
Ada User Journal, Jun. 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.
Export citation
Project(s): Project:NORTH, Project:COST Action IC1402
Research line(s): Timeliness and Adaptation in Dependable Systems (TADS)
