The safety requirements are often described via specifications called contracts. To verify that
the system fulfills certain safety requirements, for instance, in the assume-guarantee contract …

Abstract Development of critical systems nowadays is hardly achievable without reuse of
previous knowledge. Design patterns have an important role in the design of such systems …

The growing adoption of unmanned aerial vehicles (UAVs) for tasks such as eCommerce,
aerial surveillance, and environmental monitoring introduces the need for new safety …

Socio-technical systems are characterized by the interplay of heterogeneous entities ie,
humans, organizations, and technologies. Application domains such as petroleum, e-health …

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 …

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 …

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 …

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

Augmented Reality (AR) technologies are used as human–machine interface within various
types of safety-critical systems. Several studies have shown that AR improves human …

Contracts are envisaged to support compositional verification of a system as well as reuse
and independent development of their implementations. But reuse of safety-relevant …