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 …

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 …

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 …

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

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 …

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 …

As the complexity of safety-critical systems increases, it becomes more and more
challenging to assure that these systems will operate safely and reliably. This has led to the …

The field of cyber-molecular systems is growing rapidly. In these nanotechnology
applications the computational logic is encoded by developers into the molecules …