Context: Many critical systems must comply with safety standards as a way of providing
assurance that they do not pose undue risks to people, property, or the environment. Safety …

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 for copyright protection of
digital image is presented. A visual meaningful binary logo is used as watermark. The …

The rise of complex Cyber-Physical Systems has led to many initiatives to promote
automation of the assurance of their dependability. There exists mature practices and tools …

Compliance with multiple standard's reference models has the potential to improve process
quality but is a challenging task faced by manufacturers in the safety-critical context. To …

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 …

In the context of safety-critical product lines, industries have to face an urgent challenge:
reduction of time and cost for the creation of a safety case. A safety case is a contextualized …

DO-331 is the supplement of DO-178C for model-based development. DO-331 is an
objective-based guidance, which defines a set of objectives that have to be achieved for the …

Nowadays, given the growing aircraft connectivity, security-informed safety is crucial. To
certify aircrafts, safety as well as security standards need to be taken into consideration. In …

Safety-critical systems are typically subject to assurance processes as way to ensure that
they do not pose undue risks to people, property, or the environment, usually in compliance …