Automated Evidence Analysis of Safety Arguments Using Digital Dependability Identities

Reich, Jan; Zeller, Marc; Schneider, Daniel

doi:10.1007/978-3-030-26601-1_18

Cited by 12 publications

(4 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…As such, ConSerts provides a potential way of managing system degradations (related to challenge (C5)). Further, Digital Dependability Identities (DDIs) [27] have been proposed to formalise the information exchange within a systems of systems setup, and to support run-time certification in the context of systems of systems [28,29]. DDIs or ConSerts could, in practise, be used as a means to facilitate safety supervision, given formalisable properties of the system, while also accommodating for configurability and systems of systems facets.…”

Section: B Run-time Certificationmentioning

confidence: 99%

“…to cope with changes in the operational environment of autonomous systems and as a means to reduce the residual risk of operating the system through monitoring; • shifting portions of the assurance task from designtime to run-time, addressing (ii) and coping with (a) as well as (b), has been proposed as an effective means to maintain assurance of the system while allowing for improved performance. Supportive concepts including ConSerts [25,26], and Digital Dependability Identities (DDIs) [27,28,29]; and • Dynamic Safety Management (DSM) and Dynamic Risk Assessment (DRA), allowing the system to dynamically address (a) -(c) and support solving (i) and (ii), have been suggested as a means to allow the tactical decisions of the ADS to be made using appropriate runtime measures of risk [26,30,31].…”

mentioning

confidence: 99%

See 1 more Smart Citation

Holistic Perspectives on Safety of Automated Driving Systems - Methods for Provision of Evidence

Gyllenhammar¹,

Campos²,

Törngren³

2022

Preprint

View full text Add to dashboard Cite

<p>In recent years, the enormous investments in Automated Driving Systems (ADSs) have distinctly advanced ADS technologies. Despite promises made by several high profile auto-makers, it has however become clear that the challenges involved for deploying ADS have been drastically underestimated. This paper focuses on the challenge of providing sufficient evidence to support the safety claims of ADSs. The provisioning of such evidence clearly relates both to technical maturity of ADS systems (including actual experiences from deploying such systems), and on the development of methodologies for reasoning about ADS safety claims. Contrary to previous generations of automotive systems, common design, development, verification and validation methods for safety critical systems do not suffice to cope with the increased complexity and operational uncertainties of an ADS. Therefore, the aim of this paper is to provide an understanding of existing methods focusing on the development of a safe ADS and, most importantly, identifying the associated challenges and gaps. </p> <p>We present eight challenges, collectively distinguishing ADSs from safety critical systems in general, and discuss the existing methods in the light of these eight challenges. Based on this discussion, a set of research gaps are identified.</p>

show abstract

Section: B Run-time Certificationmentioning

confidence: 99%

mentioning

confidence: 99%

Holistic Perspectives on Safety of Automated Driving Systems - Methods for Provision of Evidence

Gyllenhammar¹,

Campos²,

Törngren³

2022

Preprint

View full text Add to dashboard Cite

show abstract

“…Moreover, the evidences to prove that the claims are fulfilled are crated automatically in the pipeline (in the safety analysis and test & verification steps). According to [18] the relationships between the claims in the safety argumentation and evidences provided by the artifacts represented in an ODE model can created automatically. The resulting safety case can then be checked w.r.t.…”

Section: Continuous Safety Assessmentmentioning

confidence: 99%

Towards Continuous Safety Assessment in Context of DevOps

Zeller¹

2021

Preprint

Self Cite

View full text Add to dashboard Cite

Traditionally, promoted by the internet companies, continuous delivery is more and more appealing to industries which develop systems with safety-critical functions. Since safety-critical systems must meet regulatory requirements and require specific safety assessment processes in addition to the normal development steps, enabling continuous delivery of software in safety-critical systems requires the automation of the safety assessment process in the delivery pipeline. In this paper, we outline a continuous delivery pipeline for realizing continuous safety assessment in software-intensive safety-critical systems based on modelbased safety assessment methods.

show abstract

“…Because it is very likely that new dependability standards will come up in the future, the ODE has been designed to be extendable through a modular package concept. Around this technical DDI backbone, an automation framework was built to support automated change impact or argument validity analyses on the DDI data contents 26 . Details on the DDI framework as well as an open‐source version of the ODE metamodel can be found at GitHub 27…”

Section: Overview Of Ddimentioning

confidence: 99%

Quality improvement mechanism for cyber physical systems—An evaluation

Regan

McCaffery

Paul

et al. 2020

J Software Evolu Process

Self Cite

View full text Add to dashboard Cite

The future will encompass heavily interconnected, distributed, heterogeneous and intelligent systems which are bound to have a significant economic and social impact. Cyber physical systems (CPS) such as autonomous cars, smart electric grid, implanted medical devices and smart manufacturing are some practical examples of these intelligent systems. However, due to the open and cooperative nature of CPS, assuring their dependability is a challenge. The DEIS project addresses this important and unsolved challenge by developing the concept of a digital dependability identity (DDI). A DDI contains all the information that uniquely describes the dependability characteristics of a CPS or CPS component. DDIs are synthesised at development time and are the basis for the (semi)automated integration of components into systems during development, as well as for the fully automated dynamic integration of systems into systems of systems in the field.

show abstract

Automated Evidence Analysis of Safety Arguments Using Digital Dependability Identities

Cited by 12 publications

References 5 publications

Holistic Perspectives on Safety of Automated Driving Systems - Methods for Provision of Evidence

Holistic Perspectives on Safety of Automated Driving Systems - Methods for Provision of Evidence

Towards Continuous Safety Assessment in Context of DevOps

Quality improvement mechanism for cyber physical systems—An evaluation

Contact Info

Product

Resources

About