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

In safety–critical applications, it is necessary to justify, prior to deployment, why software
behaviour is to be trusted. This is normally referred to as software safety assurance. Within …

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 …

Safety cases capture a structured argument linking claims about the safety of a system to the
evidence justifying those claims. However, arguments in safety cases tend to be …

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 …

Software safety cases encourage developers to carry out only those safety activities that
actually reduce risk. In practice this is not always achieved. To help remedy this, the SSEI at …

In this paper we describe the architecture and initial performance analysis results of the
SERVOGrid complexity computational environments (CCE). The CCE architecture is based …

We develop the foundations for a theory of patterns of safety case argument structures,
clarifying the concepts involved in pattern specification, including choices, labeling, and well …

Automotive systems become increasingly complex due to their functional range and data
exchange with the outside world. Until now, functional safety of such safety-critical …

We describe our experience with the ongoing development of a safety case for an
unmanned aircraft system (UAS), emphasizing autopilot software safety assurance. Our …