Publication:
An analysis of safety evidence management with the Structured Assurance Case Metamodel

Loading...
Thumbnail Image
Identifiers
Publication date
2017-02-01
Defense date
Advisors
Tutors
Journal Title
Journal ISSN
Volume Title
Publisher
Impact
Google Scholar
Export
Research Projects
Organizational Units
Journal Issue
Abstract
SACM (Structured Assurance Case Metamodel) it a standard for assurance case specification and exchange. It consists of an argumentation metamodel and an evidence metamodel for justifying that a system satisfies certain requirements. For assurance of safety-critical systems, SACM can be used to manage safety evidence and to specify safety cases. The standard is a promising initiative towards harmonizing and improving system assurance practices, but its suitability for safety evidence management needs to be further studied. To this end, this paper studies how SACM 1.1 supports this activity according to requirements from industry and from prior work. We have analysed the notion of evidence in SACM, its evidence lifecycle, the classes and associations of the evidence metamodel, and the link of this metamodel with the argumentation one. As a result, we have identified several improvement opportunities and extension possibilities in SACM.
Description
Keywords
SACM, Structured assurance case metamodel, Safety evidence, Evidence management, Safety assurance, Safety certification
Bibliographic citation
José Luis de la Vara, Gonzalo Génova, Jose María Álvarez-Rodríguez, Juan Llorens. (2017). An analysis of safety evidence management with the Structured Assurance Case Metamodel. Computer Standards & Interfaces, 50, Feb, 179–198.