Defects in safety-critical software systems can cause large economical and other losses.
Often these systems are far too complex to be tested extensively. In this work a formal …

This report describes the state of the art of formal methods and models applied in safety
evaluation of nuclear and other industrial safety systems. Special attention is drawn to a …

There is an ongoing change in the industry in which old analogue instrumentation and
control (I&C) systems are replaced with new digital ones. New digital systems enable more …

The robustness of PLC devices has made them the de facto choice in the automobile
industry as a process controller machine (H. Jack, 2005). A PLC device has multiple I/O …

This thesis concentrates on downtimeless evolution of the functionality of automation and
control systems for production processes. These processes have to be adapted during the …

Starting from the 1950s, research had been crossing the boundaries of its own disciplines.
Researchers constantly find themselves being stretched to boundaries beyond their …