The links between the software architecture and the source code of a software system should
be based on solid traceability mechanisms in order to effectively perform quality control …

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 …

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 production in …

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 (…

… Muhammad Atif Javed is currently an ERCIM fellow and a visiting researcher at RISE SICS
Västerås, Sweden. Before that, he was a researcher at Mälardalen University, Sweden. His …

The integration between process engineering and variability management is required for
tailoring of safety-oriented processes with variabilities to individual projects in a similar manner …

The drones provide an active measure to identify, monitor, analyze and resolve risks of
autonomous systems during operational phase. To date, however, the published studies have …

Critical distributed real-time embedded component-based systems must be dependable and
thus be able to avoid unacceptable failures. To efficiently evaluate the dependability of the …

Pesticides are considered a risk to pollinators; however, little is known about the possible
effects of their injudicious use on pollinators, including the ecosystem services provided to …

The advanced production systems are composed of separate and distinct systems that
operate in both isolation and conjunction, and therefore forms the System-of-Systems (SoS). …