Modelling confidence in railway safety case

Wang, Rui; Guiochet, Jérémie; Motet, Gilles; Schön, Walter

doi:10.1016/j.ssci.2017.11.012

Cited by 12 publications

(6 citation statements)

References 27 publications

(39 reference statements)

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…In [6], we compared some works that deal with confidence assessment in GSN and give some recommendation to improve these methods. For instance, we showed why it is more adequate to use implication instead of equivalence (used in [13][14][15]) to represent argument types. We also discussed why Dempster rule of combination is more suitable for combining evidence, in our case, than other methods used in [2] for instance.…”

Section: Related Workmentioning

confidence: 99%

“…When adopting a logical viewpoint [6], we then speak of a rule. Unlike the types of arguments proposed in [14], which use the equivalence connective to model such rules, we decided to break down this equivalence into two implications. Each implication brings a single piece of information about the conclusion, given premises.…”

Section: Argument Typesmentioning

confidence: 99%

“…Remember that a rule is representing a support relation between a conclusion and its premises. As a first approach, Wang et al [14] proposed to exploit this relation so as to identify these masses. To this end, they propose certain values of the pair (Dec, Conf ) on premises, as inputs for the model, and ask the expert his opinion about the conclusion using the matrix of Figure 2.…”

Section: Determination Of Belief Weights For Rulesmentioning

confidence: 99%

See 2 more Smart Citations

Quantifying Confidence of Safety Cases with Belief Functions

Idmessaoud

Dubois

Guiochet

2021

Belief Functions: Theory and Applications

Self Cite

View full text Add to dashboard Cite

Structured safety argument based on graphical representations such as GSN (Goal Structuring Notation) are used to justify the certification of critical systems. However, such approaches do not deal with uncertainties that might affect the merits of arguments. In the recent past, some authors proposed to model the confidence in such arguments using Dempster-Shafer theory. It enables us to determine the confidence degree in conclusions for some basic GSN patterns. In this paper, we refine this approach and improve the elicitation method for expert opinions used in previous papers.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Argument Typesmentioning

confidence: 99%

Section: Determination Of Belief Weights For Rulesmentioning

confidence: 99%

See 1 more Smart Citation

Quantifying Confidence of Safety Cases with Belief Functions

Idmessaoud

Dubois

Guiochet

2021

Belief Functions: Theory and Applications

Self Cite

View full text Add to dashboard Cite

show abstract

“…Wang et al [25,24,26,27] propose a confidence assessment method by converting qualitative expert opinions, on their confidence in pieces of evidence appearing in a GSN, into mass functions. These values are then merged by Dempster rule of combination to obtain the overall confidence in the studied system.…”

Section: Some Dst-based Approaches To Safety Casesmentioning

confidence: 99%

Belief Functions for Safety Arguments Confidence Estimation: A Comparative Study

Idmessaoud

Dubois

Guiochet

2020

Lecture Notes in Computer Science

Self Cite

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

“…Terdapat tiga komponen yang berhubungan dengan keselamatan (Cooper, 2000) dan dijadikan sebagai konsep umum mengenai keselamatan, serta banyak dipakai dalam penelitian-penelitian setelahnya. Beberapa penelitian tentang keselamatan telah menunjukkan karakteristik masing-masing industri, antara lain: pengembangan model untuk memprediksi perilaku aman dalam bekerja pada perusahaan konstruksi (Guo, Yiu dan González, 2016), model keselamatan pada industri kereta api (Wang et al, 2018), proses operasional untuk menghasilkan keselamatan dengan menggunakan model control prediktif (Albalawi, Durand dan Christofides, 2017). Selain itu, penelitian lain dilakukan untuk menganalisis model keselamatan pada kereta bawah tanah (Rong, Sainan dan Mengshi, 2016) dan menjelaskan tentang model penilaian risiko keselamatan pada kereta api (Leitner, 2017).…”

Section: Pendahuluanunclassified

Pengembangan Model Keselamatan pada Transportasi Kereta Api (Studi Kasus: PT. Kereta Komuter Indonesia)

Nilla

Moengin

2019

JIEMS

View full text Add to dashboard Cite

The application of safety is an important matter in carrying out activities inland transportation including railroad transportation. Jabodetabek travel routes are handled directly by PT. Kereta Komuter Indonesia. This activity certainly requires a lot of human labor so safety is very important in this regard. With the existence of safety arrangements, it will avoid any related things from accidents or losses due to the delay in the completion of work caused by the inaccurate company safety management system. Therefore each element involved in each activity requires further knowledge and understanding of the core factors that are in accordance with the safety management system used. Referring to this approach, research is carried out on the railroad industry in Indonesia by developing a safety model in the railway industry. The research was conducted by finding the right literature and then developing a model for the factors considered appropriate to be applied to the safety management system in railroad transportation in Indonesia. After the model was developed, the model was confirmed by the Confirmatory Factor Analysis (CFA) approach with the Structural Equation Modeling (SEM) method. The results of the study will prove that the factors developed in the safety model are positively related to the implementation of commuter train safety management in Indonesia.

show abstract

Modelling confidence in railway safety case

Cited by 12 publications

References 27 publications

Quantifying Confidence of Safety Cases with Belief Functions

Quantifying Confidence of Safety Cases with Belief Functions

Belief Functions for Safety Arguments Confidence Estimation: A Comparative Study

Pengembangan Model Keselamatan pada Transportasi Kereta Api (Studi Kasus: PT. Kereta Komuter Indonesia)

Contact Info

Product

Resources

About