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 …

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 …

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 …

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 …

An EN 50129-compliant safety case should include process-related evidence in terms of
quality as well as safety management. Potentially innovative engineering methods …

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 …

Compliance with the CENELEC series is mandatory during the planning of as well as
development of railway systems. For compliance purposes, the creation of safety plans …