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, decreasing the vehicle cost and ensuring the safety and timeliness of the system. The AIR (ARINC 653 in Space Real-Time Operating System) architecture defines a partitioned environment for the development and execution of aerospace applications, following the notion of time and space partitioning (TSP), preserving application timing and safety requisites. The plan for a UAS mission may vary with the passage of time, according to its mode/phase of operation, and the vehicle may be exposed to unpredictable (environmental) events and failures, calling for the advanced adaptability and reconfigurability features included in the AIR architecture. This paper explores the potential of non-intrusive runtime verification (RV) mechanisms, currently being included in AIR, to improve system safety and to decrease the computational cost of timeliness adaptability and of the corresponding overhead on the system. the corresponding overhead on the system.
Author José Rufino +
Document Document for Publication-JRufino-2016-SIGBED.pdf +
Journal ACM SIGBED Review  +
Key JRufino-2016-SIGBED  +
Month jan  +
Note (Special Issue on 5th Embedded Operating Systems Workshop)  +
NumPubDate 2,016.01  +
Project Project:COST Action IC1402 +
ResearchLine Timeliness and Adaptation in Dependable Systems (TADS) +
Title Towards integration of adaptability and non-intrusive runtime verification in avionic systems  +
Type article  +
Url  +
Volume 13  +
Year 2016  +
Categories Publication  +
Modification dateThis property is a special property in this wiki. 31 March 2017 18:22:45  +
NumberThis property is a special property in this wiki. 1  +
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