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

Génova, Gonzalo; Álvarez-Rodríguez, José María; Lloréns, Juan

doi:10.1016/j.csi.2016.10.002

Cited by 11 publications

(3 citation statements)

References 28 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Cyber Physical systems), which are open for dynamic integration and adaptiveness in real-time situations. Despite its relatively recent introduction, the SACM has been employed in various research projects, such as in (de la Vara et al, 2016) and others discussed in Chapter 4. However, the SACM is not necessarily suitable for every application; thus, further investigation to identify whether or not it is fit for the proposed method is presented in Section 4.6.1.…”

Section: Sacm Metamodelmentioning

confidence: 99%

Model-Connected Safety Cases

Retouniotis

Papadopoulos

Sorokos

et al. 2017

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Regulatory authorities require justification that safety-critical systems exhibit acceptable levels of safety. Safety cases are traditionally documents which allow the exchange of information between stakeholders and communicate the rationale of how safety is achieved via a clear, convincing and comprehensive argument and its supporting evidence. In the automotive and aviation industries, safety cases have a critical role in the certification process and their maintenance is required throughout a system's lifecycle. Safety-case-based certification is typically handled manually and the increase in scale and complexity of modern systems renders it impractical and error prone.Several contemporary safety standards have adopted a safety-related framework that revolves around a concept of generic safety requirements, known as Safety Integrity Levels (SILs). Following these guidelines, safety can be justified through satisfaction of SILs. Careful examination of these standards suggests that despite the noticeable differences, there are converging aspects. This thesis elicits the common elements found in safety standards and defines a pattern for the development of safety cases for cross-sector application. It also establishes a metamodel that connects parts of the safety case with the target system architecture and model-based safety analysis methods. This enables the semiautomatic construction and maintenance of safety arguments that help mitigate problems related to manual approaches. Specifically, the proposed metamodel incorporates system modelling, failure information, model-based safety analysis and optimisation techniques to allocate requirements in the form of SILs. The system architecture and the allocated requirements along with a user-defined safety argument pattern, which describes the target argument structure, enable the instantiation algorithm to automatically generate the corresponding safety argument. The idea behind model-connected safety cases stemmed from a critical literature review on safety standards and practices related to safety cases. The thesis presents the method, and implemented framework, in detail and showcases the different phases and outcomes via a simple example. It then applies the method on a case study based on the Boeing 787's brake system and evaluates the resulting argument against certain criteria, such as scalability. Finally, contributions compared to traditional approaches are laid out.

show abstract

Section: Sacm Metamodelmentioning

confidence: 99%

Model-Connected Safety Cases

Retouniotis

Papadopoulos

Sorokos

et al. 2017

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…For instance, in the automotive industry [17], it is defined as : argument that functional safety is achieved for items, or elements, and satisfied by evidence compiled from work products of activities during development. This concept has been generalized in the OMG (Object Management Group) standardized Assurance Case Metamodel [5] and an instance of it is the goal structuring notation (GSN), which is commonly used to represent safety cases [19]. As presented in Figure 1, it includes nine main elements.…”

Section: Introductionmentioning

confidence: 99%

Belief Functions for Safety Arguments Confidence Estimation: A Comparative Study

Idmessaoud

Dubois

Guiochet

2020

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Structured safety arguments are widely applied in critical systems to demonstrate their safety and other attributes. Graphical formalisms such as Goal Structuring Notation (GSN) are used to represent these argument structures. However, they do not take into account the uncertainty that may exist in parts of these arguments. To address this issue, several frameworks for confidence assessment have been proposed. In this paper, a comparative study is carried out on three approaches based on Dempster-Shafer theory. We extract and compare the implicit logic at work in these works, and show that, to some extent, these current approaches fail to provide a consistent relationship between the informal statement of arguments, their logical model and the use of belief functions. We also propose recommendations to improve this consistency.

show abstract

“…Critical software systems are those featured by the concept of safety [1] and whose failure could imply loss of life or environmental damage. These systems face (1) Data and information of every system artifact should be easily shared between all stakeholders and people involved in the development process and, (2) Since system artifacts are designed and developed by human beings, there is an intrinsic necessity of natural language processing (NLP) to support some tasks such as naming or searching.…”

Section: Introductionmentioning

confidence: 99%

Semantic Recovery of Traceability Links between System Artifacts

Álvarez-Rodríguez

Mendieta

Moreno

et al. 2020

Int. J. Soft. Eng. Knowl. Eng.

Self Cite

View full text Add to dashboard Cite

This paper introduces a mechanism to recover traceability links between the requirements and logical models in the context of critical systems development. Currently, lifecycle processes are covered by a good number of tools that are used to generate different types of artifacts. One of the cornerstone capabilities in the development of critical systems lies in the possibility of automatically recovery traceability links between system artifacts generated in different lifecycle stages. To do so, it is necessary to establish to what extent two or more of these work products are similar, dependent or should be explicitly linked together. However, the different types of artifacts and their internal representation depict a major challenge to unify how system artifacts are represented and, then, linked together. That is why, in this work, a concept-based representation is introduced to provide a semantic and unified description of any system artifact. Furthermore, a traceability function is defined and implemented to exploit this new semantic representation and to support the recovery of traceability links between different types of system artifacts. In order to evaluate the traceability function, a case study in the railway domain is conducted to compare the precision and recall of recovery traceability links between text-based requirements and logical model elements. As the main outcome of this work, the use of a concept-based paradigm to represent that system artifacts are demonstrated as a building block to automatically recover traceability links within the development lifecycle of critical systems.

show abstract

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

Cited by 11 publications

References 28 publications

Model-Connected Safety Cases

Model-Connected Safety Cases

Belief Functions for Safety Arguments Confidence Estimation: A Comparative Study

Semantic Recovery of Traceability Links between System Artifacts

Contact Info

Product

Resources

About