Machine Learning (ML) is now used in a range of systems with results that are reported to
exceed, under certain conditions, human performance. Many of these systems, in domains …

In Europe, over recent years, the responsibility for ensuring system safety has shifted onto
the developers and operators to construct and present well reasoned arguments that their …

A safety case should present a clear, comprehensive and defensible argument that a system
is acceptably safe to operate within a particular context. However, many existing safety …

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 …

This paper focuses on the approaches used in safety cases for software based systems. We
outline the history of approaches for assuring the safety of software-based systems, the …

The construction industry is one of the most important industries for national development in
the world. It is an unorganized sector and most of the time human-driven; a large number of …

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 …

Assurance cases are used to demonstrate confidence in system properties of interest (eg
safety and/or security). A number of system assurance approaches are adopted by …

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 …

Instrumentation and control (I&C) systems play a vital role in the operation of safety-critical
processes. Digital programmable logic controllers (PLC) enable sophisticated control tasks …