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 …

We describe dynamic safety cases, a novel operationalization of the concept of through-life
safety assurance, whose goal is to enable proactive safety management. Using an example …

Assurance cases are a method for providing assurance for a system by giving an argument
to justify a claim about the system, based on evidence about its design, development, and …

Constructing assurance cases is a widely used and sometimes required process toward
demonstrating that safety-critical systems will operate safely in their planned environment …

Arguments about the safety, security, and correctness of a complex system are often made in
the form of an assurance case. An assurance case is a structured argument, often …

Cyber-physical systems that implement self-adaptive behavior, such as autonomous robots,
need to ensure that requirements remain satisfied across run-time adaptations. The Robot …

This paper provides information on current certification of landing gear available for use in
the aerospace industry. Moving forward, machine learning is part of structural health …

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 …

The growing adoption of unmanned aerial vehicles (UAVs) for tasks such as eCommerce,
aerial surveillance, and environmental monitoring introduces the need for new safety …