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 …

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 …

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 …

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 …

Safety cases are among the state of the art in safety management mechanisms, providing an
explicit way to reason about system and software safety. The intent is to provide convincing …

We describe a lightweight methodology to support the automatic assembly of safety cases
from tabular requirements specifications. The resulting safety case fragments provide an …

Several approaches have been developed to assist automotive system manufacturers in
designing safer vehicles by facilitating compliance with functional safety standards …

This paper presents an approach and tools for automatic generation of security assurance
case fragments using patterns for arguing the security of cyber physical systems. The …

Context Certification of safety–critical software systems requires submission of safety
assurance documents, eg, in the form of safety cases. A safety case is a justification …

Developing safety-critical, software-intensive embedded systems are characterized by the
need to identify hazards and to define hazard-mitigating requirements at the earliest …