Browse wiki

From Navigators

Jump to: navigation, search
Publication:JRufino-2016-OSPERT
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 overall system dependability. The AIR ARINC 653 in Space Real-Time Operating System) architecture defines a partitioned environment for aerospace applications, following the notion of time and space partitioning (TSP), aiming to preserve the highly demanding application timing and safety requirements. In addition to expected changes in the vehicle configuration, which may naturally vary according to the mission's progress and its phases, a vehicle may be exposed to unforeseeable events (e.g., environmental) and to failures. Thus, vehicle survivability requires advanced adaptability and reconfigurability features, to be supported in the AIR architecture. Adaptation in the presence of hazards may largely benefit from the potential of non-intrusive runtime verification (RV) mechanisms, currently being included in AIR. Although this paper focuses on system level (timeliness) monitoring and adaptation, similar approaches and methods may be taken with respect to application/mission adaptation. respect to application/mission adaptation.
Address Toulouse, France  +
Author José Rufino + , Inês Gouveia +
Booktitle Proceedings of the 12th workshop on Operating Systems Platforms for Embedded Real-Time applications (OSPERT)  +
Document Document for Publication-JRufino-2016-OSPERT.pdf +
Key JRufino-2016-OSPERT  +
Month jul  +
NumPubDate 2,016.07  +
Project Project:COST Action IC1402 +
ResearchLine Timeliness and Adaptation in Dependable Systems (TADS) +
Title Timeliness runtime verification and adaptation in avionic systems  +
Type inproceedings  +
Url https://www.cs.hs-rm.de/~kaiser/events/ospert16/pdf/ospert16-p14.pdf  +
Year 2016  +
Categories Publication  +
Modification dateThis property is a special property in this wiki. 31 March 2017 18:21:25  +
show properties that link here 

 

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