Safety and Assurance Cases: Past, Present and Possible Future – an Adelard Perspective

Continuously revised assurance cases with stakeholders’ cross-validation: a DEOS experience

“…This short lecture and a Web-based GSN viewer were all we prepared for participants to read GSNs for dependability arguments. Note that organizing dependability arguments is a known difficulty according to Bloomfield & Bishop (2010). We prepared several simple argument patterns, which are described in 'Experimental Setup: Aspen Project'.…”

“…Originally, assurance cases were developed in the field of safety engineering for public transportation and industrial plants, and they have been adopted broadly as a documentation standard (Bloomfield & Bishop, 2010). Many regulators, especially in EU countries, are likely to validate assurance cases before the developed systems are deployed.…”

Towards understanding the DO-178C / ED-12C assurance case

“…Each of these components must be stated explicitly and clearly in order to produce a cogent assurance case. A critical aspect of an explicit and clear statement is articulating the context within 1 Although the concept is simple, much active research is ongoing about how to best create, express, analyse, improve, and maintain assurance cases (for example, [1], [2], [4], [5], [19]). and assumptions upon which the claims, arguments, and evidence depend.…”

“…This paper describes preliminary work towards building such an explicit assurance case for DO-178C / ED-12C. Two specific questions are explored: (1) What are some of the assumptions upon which the guidance in the document relies, and (2) What claims are made concerning test coverage analysis?…”

“…Section 2 provides brief background material about the DO-178C / ED-12C document and the assurance case concept. Section 3 explores question (1). Section 4 discusses some initial possible answers to question (2).…”