The assurance case arguments are created to demonstrate acceptable system safety and/or
security. In this regard, a series of propositions expressed by natural language statements …

The goal of Industry 4.0 is to be faster, more efficient and more customer-centric, by
enhancing the automation and digitalisation of production systems. Frequently, the …

The complexity and flexibility of autonomous robotic systems necessitates a range of distinct
verification tools. This presents new challenges not only for design verification but also for …

Assurance cases (ACs) have gained attention in the aerospace, medical, and other heavily-
regulated industries as a means for providing structured arguments on why a product is …

The ever-increasing complexity of cyber-physical systems is driving the need for assurance
of critical infrastructure and embedded systems. However, traditional methods to secure …

Energy storage systems, especially lithium-ion batteries have gained significant attention
and interest due to their potential in storing electrical energy and environmental …

Safety assurance cases (ACs) are structured arguments designed to comprehensively show
that a system is safe. ACs are often model-based, meaning that a model of the system is a …

In critical software engineering, structured assurance cases (ACs) are used to demonstrate
how key properties (eg, safety, security) are supported by evidence artifacts (eg, test results …

Justifying the correct implementation of the non-functional requirements (eg, safety, security)
of mission-critical systems is crucial to prevent system failure. The later could have severe …

In recent decades, cyber-physical systems developed using Model-Driven Engineering
(MDE) techniques have become ubiquitous in safety-critical domains. Safety assurance …