“Towards integration of adaptability and non-intrusive runtime verification in avionic systems”

From Navigators

(Difference between revisions)
Jump to: navigation, search
(Created page with "{{Publication |type=article |document=Document for Publication-JRufino-2016-SIGBED.pdf |title=Towards integration of adaptability and non-intrusive runtime verification in avioni...")
Line 3: Line 3:
|document=Document for Publication-JRufino-2016-SIGBED.pdf
|document=Document for Publication-JRufino-2016-SIGBED.pdf
|title=Towards integration of adaptability and non-intrusive runtime verification in avionic systems
|title=Towards integration of adaptability and non-intrusive runtime verification in avionic systems
-
|author=José Rufino,  
+
|author=José Rufino,
-
|Project=Project:READAPT,  
+
|Project=Project:READAPT,
|ResearchLine=Timeliness and Adaptation in Dependable Systems (TADS)
|ResearchLine=Timeliness and Adaptation in Dependable Systems (TADS)
|month=jan
|month=jan
Line 11: Line 11:
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 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.
-
 
|journal=ACM SIGBED Review
|journal=ACM SIGBED Review
 +
|note=(Special Issue on 5th Embedded Operating Systems Workshop)
|volume=13
|volume=13
|number=1
|number=1
|url=http://sigbed.seas.upenn.edu/archives/2016-01/EWiLi15_9.pdf
|url=http://sigbed.seas.upenn.edu/archives/2016-01/EWiLi15_9.pdf
}}
}}
-
(Special Issue on 5th Embedded Operating Systems Workshop)
 

Revision as of 17:56, 31 March 2017

José Rufino

ACM SIGBED Review, vol. 13, no. 1, Jan. 2016.

(Special Issue on 5th Embedded Operating Systems Workshop).
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 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.

Download paper

Download Towards integration of adaptability and non-intrusive runtime verification in avionic systems

Export citation

BibTeX

Project(s): Project:READAPT

Research line(s): Timeliness and Adaptation in Dependable Systems (TADS)

Personal tools
Navigators toolbox