Testing safety-critical systems is crucial since a failure or malfunction may result in death or
serious injuries to people, equipment, or environment. An important challenge in testing is …

Error checking is easy and inexpensive in the initial stages as compared to later stages due
to when the development cycle precedes the development cost and efforts also increase …

An appearance of radiometers and dosimeters on free sale made it possible to provide
better radiation safety for citizens. The effects of radiation may not appear all at once. They …

In addition to the volatility of the market demand and shorter product lifecycles, nowadays
manufacturing companies have to deal with another market dimension, namely the …

The paper proposes a novel design technique of cyber-physical systems (CPSs). The
system is specified by a Petri net, and further modelled in a hardware description language …

Cyber-Physical Systems are embedded computers that control complex physical processes
and components while cooperating as agents in distributed networks. Due to the scale and …

This last decade, Medical Cyber-Physical Systems (M-CPS) have emerged to enable smart
healthcare systems to monitor, process and make autonomous decisions without the need to …

The lifecycles of software updates for Cyber Physical Systems are significantly decreasing.
Especially for safety-critical functions, these must be carefully tested for compatibility to …

Microfluidic biochips have gained prominence due to their versatile applications to
biochemistry and health-care domains such as point-of-care clinical diagnosis of tropical …

MarQ is a runtime monitoring tool for specifications written as quantified event automata, an
expressive automata-based specification language based on the notion of parametric trace …