Industrial Experiences of Building a Safety Case in Compliance with ISO 26262

Dardar, Raghad; Gallina, Barbara; Johnsen, Andreas; Lundqvist, Kristina; Nyberg, Mattias

doi:10.1109/issrew.2012.86

Cited by 18 publications

(4 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A "model-based assurance case" is an approach to safety compliance management. It encompasses a compliance meta-model covering "claims" or "requirements", "evidence", "arguments", and "contexts" [57,58]. In Kokaly et al [54], the need for a general model of compliance and compliance activity is addressed as an open-ended problem.…”

Section: Compliance Checkingmentioning

confidence: 99%

DD-KARB: data-driven compliance to quality by rule based benchmarking

Besharati

Izadi

2022

J Big Data

View full text Add to dashboard Cite

The problem of compliance checking and assessment is to ensure that the design or implementation of a system meets some desired properties and complies with some rules or regularities. This problem is a key issue in several human and engineering application domains such as organizational management and e-governance, software and IT industries, and software and systems quality engineering. To deal with this problem, some different approaches and methods have been proposed. In addition to the approaches such as formal methods, mathematical proofs, and logical evaluations, benchmarking can be used for compliance assessment. Naturally, a set of benchmarks can shape an applied solution to compliance assessment. In this paper we propose KARB solution system, i.e. keeping away compliance Anomalies through Rule-based Benchmarking. In fact, in our proposed method the rule-based benchmarking means evaluating the conformity of an under-compliance system to a set of rules. In this solution approach, the under-compliance system is specified symbolically (using formal and logical descriptions). Also, the desired rules are specified formally as the semantic logic in the evaluation process. After reviewing the proposed method, a case study was conducted to demonstrate and analyze the KARB solution. The IR-QUMA study (Iranian Survey on Quality in Messenger Apps) was then conducted to evaluate the quality of some messenger applications. According to the evaluation results, the hybrid DD-KARB method (with a combination of semantics-awareness and data-drivenness) is more effective than solo methods and can compute a good estimation for the messenger application user quality scores. Therefore, DD-KARB can be considered as a method for quality benchmarking in this technical context.

show abstract

Section: Compliance Checkingmentioning

confidence: 99%

DD-KARB: data-driven compliance to quality by rule based benchmarking

Besharati

Izadi

2022

J Big Data

View full text Add to dashboard Cite

show abstract

“…Fault tree analysis can be used to analyse the cause of failure concretely [5]. According to the fault tree analysis of the brake deviation, which is shown in Figure 2, the reasons of brake deviation are got, as shown in Table 2.…”

Section: Analysis Of the Failure Cause Of Brake Systemmentioning

confidence: 99%

Functional Safety Design of Four-Wheel Independent Brake System on Electric Vehicle

Zhang

2018

IOP Conf. Ser.: Earth Environ. Sci.

View full text Add to dashboard Cite

Abstract. The fault trees are set up to analyse the five failure modes of wire controlled four-wheel independent brake system on electric vehicle.The hardware redundancy is designed. The control strategy with ASIL D is established. The method of joint simulation of CarSim and MATLAB/Simulink is adopted. After fault injection, the simulation tests are carried out under the conditions of wire brake. It shows that the system has reached the ASIL D from analyses..

show abstract

“…To document process-based arguments, we use the graphical notation called GSN [14]. The selection of GSN for documenting safety cases was extensively motivated in [15,16]. GSN permits users to structure their argumentation into flat or hierarchically nested graphs (constituted of a set of nodes and a set of edges), called goal structures.…”

Section: Process Compliance and Gsnmentioning

confidence: 99%

Enabling Cross-Domain Reuse of Tool Qualification Certification Artefacts

Gallina

Kashiyarandi

Zugsbratl

et al. 2014

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. The development and verification of safety-critical systems increasingly relies on the use of tools which automate/replace/supplement complex verification and/or development tasks. The safety of such systems risks to be compromised, if the tools fail. To mitigate this risk, safety standards (e.g. DO-178C/DO330, IEC 61508) define prescriptive tool qualification processes. Compliance with these processes can be required for (re-)certification purposes. To enable reuse and thus reduce time and cost related to certification, cross-domain tool manufacturers need to understand what varies and what remains in common when transiting from one domain to another. To ease reuse, in this paper we focus on verification tools and model a cross-domain tool qualification process line. Finally, we discuss how reusable cross-domain process-based arguments can be obtained.

show abstract

Industrial Experiences of Building a Safety Case in Compliance with ISO 26262

Cited by 18 publications

References 5 publications

DD-KARB: data-driven compliance to quality by rule based benchmarking

DD-KARB: data-driven compliance to quality by rule based benchmarking

Functional Safety Design of Four-Wheel Independent Brake System on Electric Vehicle

Enabling Cross-Domain Reuse of Tool Qualification Certification Artefacts

Contact Info

Product

Resources

About