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 …

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 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 …

ISO 26262, an automotive functional safety standard, ensures the functional safety of
automotive systems by providing requirements and processes to govern the software …

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 …

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 …

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 …

Safety assurance is of paramount importance across various domains, including automotive,
aerospace, and nuclear energy, where the reliability and acceptability of mission-critical …

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 …

Traceability management relies on a supporting model, the traceability information model
(TIM), that defines which types of relationships exist between which artifacts and contains …