Context Critical systems in domains such as aviation, railway, and automotive are often
subject to a formal process of safety certification. The goal of this process is to ensure that …

Argument-based assurance cases, often represented and organized using graphical
argument structures, are increasingly being used in practice to provide assurance to …

Assurance cases are used to demonstrate confidence in properties of interest for a system,
eg For safety or security. A model-based assurance case seeks to bring the benefits of …

In emergency response scenarios, autonomous small Unmanned Aerial Systems (sUAS)
must be configured and deployed quickly and safely to perform mission-specific tasks. In this …

The Human Machine Teaming (HMT) paradigm focuses on supporting partnerships
between humans and autonomous machines. HMT describes requirements for …

We present A dvo CATE, an A ssurance C ase A utomation T ools E t, to support the
automated construction and assessment of safety cases. In addition to manual creation and …

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 …

By capturing common structures of successful arguments, safety case patterns provide an
approach for reusing strategies for reasoning about safety. In the current state of the …

Safety cases present the arguments and evidence that can be used to justify the acceptable
safety of a system. Many secondary factors such as the tools used, the techniques applied …

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 …