Adaptive Safety Arguments and Explanation-Based Learning - Archive ouverte HAL
Conference Papers Year : 2013

Adaptive Safety Arguments and Explanation-Based Learning

Abstract

Software for use in aviation requires certi cation. This cer- ti cation is based on a safety argument. These arguments are formed of claims that are linked to evidence about the system. Adaptive sys- tems are a grey area within the current certi cation guidelines (DO-178 document). Safety cases (sometimes called safety arguments) link claims and evidence in support of an overall safety argument. This paper argues that it is rational to have an adaptive safety argument for an adaptive system. This is illustrated by considering an adaptive controller that uses Explanation-Based Learning (EBL) to generate both control laws and a safety argument, represented using Goal-Structuring Notation. An adaptive safety argument, when coupled with analytical tools, could be used to form the adaptive portion of an otherwise standards-based cer- ti cation argument. If the rest of the argument holds then the argument should hold for any state where the adaptive safety cases remain valid.

Keywords

Fichier principal
Vignette du fichier
7_-_20130060.pdf (109.31 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-00848501 , version 1 (26-07-2013)

Identifiers

  • HAL Id : hal-00848501 , version 1

Cite

Matt Timperley, Maizura Mokhtar, Joe Howe. Adaptive Safety Arguments and Explanation-Based Learning. SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Sep 2013, Toulouse, France. pp.NA. ⟨hal-00848501⟩
255 View
169 Download

Share

More