Improving read performance of phase change memories via write cancellation and write pausing
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 …
WAP: digital dependability identities
Cyber-Physical Systems (CPS) provide enormous potential for innovation but a precondition
for this is that the issue of dependability has been addressed. This paper presents the …
for this is that the issue of dependability has been addressed. This paper presents the …
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 …
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 PRISMA-Driven Bibliometric Analysis of the Scientific Literature on Assurance Case Patterns
Justifying the correct implementation of the non-functional requirements (eg, safety, security)
of mission-critical systems is crucial to prevent system failure. The later could have severe …
of mission-critical systems is crucial to prevent system failure. The later could have severe …
Deriving safety case fragments for assessing mbasafe's compliance with en 50128
According to EN 50129, manufacturers of rail vehicles shall justify via a safety case that their
vehicles are adequately safe for their intended applications. MBASafe is a recently proposed …
vehicles are adequately safe for their intended applications. MBASafe is a recently proposed …
[PDF][PDF] Assurance case for safety and security implementation: a survey of applications
This paper presents a survey of Assurance Case implementation for applications which are
not directly related to the usual for Assurance Case regulatory regime. The UK is the country …
not directly related to the usual for Assurance Case regulatory regime. The UK is the country …
Tool-supported safety-relevant component reuse: From specification to argumentation
Contracts are envisaged to support compositional verification of a system as well as reuse
and independent development of their implementations. But reuse of safety-relevant …
and independent development of their implementations. But reuse of safety-relevant …
Cooperative safety critical CPS platooning in SafeCOP
This paper presents the platooning research within the Safe Cooperating Cyber-Physical
Systems using Wireless Communication (SafeCOP) project. Cooperating Cyber-Physical …
Systems using Wireless Communication (SafeCOP) project. Cooperating Cyber-Physical …