Browse wiki

From Navigators

Jump to: navigation, search
Abstract Unmanned autonomous systems (UAS) avionics 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. the overall improvement of system safety.
Author José Rufino +
Document Document for Publication-Rufino18B.pdf +
Journal Ada User Journal  +
Key Rufino18B  +
Month dec  +
NumPubDate 2,018.12  +
Pages 300–304  +
Project Project:NORTH + , Project:COST Action IC1402 +
ResearchLine Timeliness and Adaptation in Dependable Systems (TADS) +
Title Non-intrusive Observation and Runtime Verification of Avionic Systems  +
Type article  +
Volume 39  +
Year 2018  +
Has improper value forThis property is a special property in this wiki. Url  +
Categories Publication  +
Modification dateThis property is a special property in this wiki. 1 May 2019 12:19:53  +
NumberThis property is a special property in this wiki. 4  +
hide properties that link here 
  No properties link to this page.


Enter the name of the page to start browsing from.
Personal tools
Navigators toolbox