Formal methods have provided approaches for investigating software engineering
fundamentals and also have high potential to improve current practices in dependability …

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

Context: An assurance case is a structured hierarchy of claims aiming at demonstrating that
a mission-critical system supports specific requirements (eg, safety, security, privacy). The …

Assurance cases are often required to certify critical systems. The use of formal methods in
assurance can improve automation, increase confidence, and overcome errant reasoning …

Abstract Cyber-Physical Systems (CPS) harbor the enormous potential for societal
improvement in terms of safety, comfort and economic efficiency. However, these benefits …

Many cyber–physical systems (CPS) are subject to rigorous assurance and certification
processes to provide confidence that undue risks are not posed and thus the systems are …

As a part of the digital revolution of railway systems, an autonomous driving train will use a
complete and precise map of railway infrastructure to conduct operational actions …

Assurance cases are used to communicate and assess confidence in critical system
properties such as safety and security. Historically, assurance cases have been manually …

The development of emerging complex aerospace systems will require new approaches for
capturing safety incident scenarios as early as possible in the design phase. However, for …

Assurance cases are used to argue in a structured, and evidence-supported way, that a
property such as safety or security is satisfied by a system. In some domains however …