The use of safety cases in certification raises the question of assurance argument sufficiency
and the issue of confidence (or uncertainty) in the argument's claims. Some researchers …

We present an approach for the verification and validation (V&V) of robot assistants in the
context of human–robot interactions, to demonstrate their trustworthiness through …

The Internet-of-Things (IoT) has enabled Industry 4.0 as a new manufacturing paradigm. The
envisioned future of Industry 4.0 and Smart Factories is to be highly configurable and …

Abstract Healthcare Failure Mode and Effect Analysis is a proactive, systematic method
adapted from safety-critical industries increasingly used to assess the potential for patient …

A safety case is a hierarchical argument supported by evidence, whose scope is defined by
contextual information. The goal is to show that the conclusion of such argument, typically …

Safety arguments, also called safety cases, are commonly used to demonstrate that
adequate efforts have been made to achieve safety goals. Assessing the confidence of such …

Some safety standards (eg, ISO 26262 in automotive industry) propose the use of argument
structures to justify that the high-level safety properties of a system have been ensured. The …

Checking the conformance of a system design to a standard is a central activity in the system
engineering life cycle, a fortiori when the concerned system is deemed critical. Standard …

From financial services platforms to social networks to vehicle control, software has come to
mediate many activities of daily life. Governing bodies and standards organizations have …

Safety assurance is of paramount importance across various domains, including automotive,
aerospace, and nuclear energy, where the reliability and acceptability of mission-critical …