Programmable logic controllers (PLCs) are heavily used in industrial control systems,
because of their high capacity of simultaneous input/output processing capabilities …

The ERTMS/ETCS is the newest automatic train protection system. This is a system that
supports the driver in driving the train. It is currently being implemented throughout the …

Relay-based traffic control systems are still used in railway control systems. Their
correctness is most often verified by manual analysis, which does not guarantee correctness …

This article proposes two approaches to tool-supported automatic verification of dense real-
time systems against scenario-based requirements, where a system is modeled as a …

In this paper, we focus on modeling and verification of PLC systems, which are widespread
in industry and manufacture. Our approach is based on a translation procedure from PLC …

Metric temporal logic (MTL) is a popular real-time extension of linear temporal logic (LTL).
This paper presents a new simple SAT-based bounded model-checking (SAT-BMC) method …

We propose an approach to automatic verification of real-time systems against scenario-
based requirements. A real-time system is modeled as a network of Timed Automata (TA) …

Digital instrumentation and control (I&C) systems containing programmable logic controllers
are challenging to verify. They enable complicated control functions and the state spaces …

This thesis aimed to determine the conditions and the means of application of the
sclerometric, ultrasonic, pull-off methods, and after appropriate adaptation, the drilling …

This thesis presents research on the validation of real-time embedded software systems in
the context of model-based development. The thesis proposes scenariobased and game …