Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [10 references]  Display  Hide  Download
Contributor : Anne Bergez Connect in order to contact the contributor
Submitted on : Friday, July 26, 2013 - 12:03:27 PM
Last modification on : Monday, July 29, 2013 - 2:00:19 PM
Long-term archiving on: : Wednesday, April 5, 2017 - 5:10:56 PM


Files produced by the author(s)


  • HAL Id : hal-00848501, version 1


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⟩



Record views


Files downloads