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 …

Healthcare organisations are often encouraged to learn from other industries in order to
develop proactive and rigorous safety management practices. In the UK safety–critical …

Background and context Systematic reviews aim to provide high-quality evidence-based
syntheses for efficacy under real-world conditions and allow understanding the correlations …

Computational techniques that build models to correctly assign chemical compounds to
various classes of interest have many applications in pharmaceutical research and are used …

We discuss current trends in the development and use of high-confidence medical cyber-
physical systems (MCPS). These trends, including increased reliance on software to deliver …

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

As frontier artificial intelligence (AI) systems become more capable, it becomes more
important that developers can explain why their systems are sufficiently safe. One way to do …

There is increasing interest in the application of machine learning (ML) technologies to
safety-critical cyber-physical systems, with the promise of increased levels of autonomy due …

In the field of safety science, we have stopped competing empirically. The theorists fight
each other with keynotes and editorials, the empiricists tinker within the boundaries 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 …