Graphical safety assurance case using Goal Structuring Notation (GSN)—challenges, opportunities and a framework for autonomous trains

M Chelouati, A Boussif, J Beugin… - Reliability Engineering & …, 2023 - Elsevier
The development of fully autonomous vehicles is an ambition that took seed in the
automotive industry a few years ago and is now growing in the railways considering their …

Improving read performance of phase change memories via write cancellation and write pausing

MK Qureshi, MM Franceschini… - HPCA-16 2010 The …, 2010 - ieeexplore.ieee.org
Phase Change Memory (PCM) is emerging as a promising technology to build large-scale
main memory systems in a cost-effective manner. A characteristic of PCM is that it has write …

A model-driven safety certification method for process compliance

B Gallina - 2014 IEEE International Symposium on Software …, 2014 - ieeexplore.ieee.org
A safety case is a contextualized structured argument constituted of process and product-
based sub-arguments to show that a system is acceptably safe. The creation of a safety case …

An integer wavelet based multiple logo-watermarking scheme

Y Yuan, D Huang, D Liu - First International Multi-Symposiums …, 2006 - ieeexplore.ieee.org
An integer wavelet based multiple logo-watermarking scheme for copyright protection of
digital image is presented. A visual meaningful binary logo is used as watermark. The …

Formal verification of automotive design in compliance with ISO 26262 design verification guidelines

G Bahig, A El-Kadi - IEEE Access, 2017 - ieeexplore.ieee.org
ISO 26262, an automotive functional safety standard, ensures the functional safety of
automotive systems by providing requirements and processes to govern the software …

Leveraging artifact trees to evolve and reuse safety cases

A Agrawal, S Khoshmanesh… - 2019 IEEE/ACM 41st …, 2019 - ieeexplore.ieee.org
Safety Assurance Cases (SACs) are increasingly used to guide and evaluate the safety of
software-intensive systems. They are used to construct a hierarchically organized set of …

Understanding What It Means for Assurance Cases to" Work"

DJ Rinehart, JC Knight, J Rowanhill - 2017 - ntrs.nasa.gov
This report is the result of our year-long investigation into assurance case practices and
effectiveness. Assurance cases are a method for working toward acceptable critical system …

A method to generate reusable safety case argument-fragments from compositional safety analysis

I Šljivo, B Gallina, J Carlson, H Hansson… - Journal of Systems and …, 2017 - Elsevier
Safety-critical systems usually need to be accompanied by an explained and well-founded
body of evidence to show that the system is acceptably safe. While reuse within such …

A cyber–physical–social approach for engineering Functional Safety Requirements for automotive systems

M Gharib, A Ceccarelli, P Lollini, A Bondavalli - Journal of Systems and …, 2022 - Elsevier
Several approaches have been developed to assist automotive system manufacturers in
designing safer vehicles by facilitating compliance with functional safety standards …

The Last Decade in Review: Tracing the Evolution of Safety Assurance Cases through a Comprehensive Bibliometric Analysis

M Sivakumar, AB Belle, J Shan, O Adesina… - arXiv preprint arXiv …, 2023 - arxiv.org
Safety assurance is of paramount importance across various domains, including automotive,
aerospace, and nuclear energy, where the reliability and acceptability of mission-critical …