“Timeliness runtime verification and adaptation in avionic systems”
From Navigators
(Difference between revisions)
(Created page with "{{Publication |type=inproceedings |document=Document for Publication-JRufino-2016-OSPERT.pdf |title=Timeliness runtime verification and adaptation in avionic systems |author=Jos...") |
|||
Line 4: | Line 4: | ||
|title=Timeliness runtime verification and adaptation in avionic systems | |title=Timeliness runtime verification and adaptation in avionic systems | ||
|author=José Rufino, Inês Gouveia | |author=José Rufino, Inês Gouveia | ||
+ | |Project=Project:COST Action IC1402, | ||
|ResearchLine=Timeliness and Adaptation in Dependable Systems (TADS) | |ResearchLine=Timeliness and Adaptation in Dependable Systems (TADS) | ||
|month=jul | |month=jul |
Latest revision as of 18:21, 31 March 2017
in Proceedings of the 12th workshop on Operating Systems Platforms for Embedded Real-Time applications (OSPERT), Toulouse, France, Jul. 2016.
Abstract: 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.
Download paper
Download Timeliness runtime verification and adaptation in avionic systems
Export citation
Project(s): Project:COST Action IC1402
Research line(s): Timeliness and Adaptation in Dependable Systems (TADS)