Graphical safety assurance case using Goal Structuring Notation (GSN)—challenges, opportunities and a framework for autonomous trains
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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
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 …
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
Several approaches have been developed to assist automotive system manufacturers in
designing safer vehicles by facilitating compliance with functional safety standards …
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
Safety assurance is of paramount importance across various domains, including automotive,
aerospace, and nuclear energy, where the reliability and acceptability of mission-critical …
aerospace, and nuclear energy, where the reliability and acceptability of mission-critical …