This paper gives a review on existing scheduling methodologies developed for process
industries. Above all, the aim of the paper is to focus on the industrial aspects of scheduling …

This is a tutorial paper on the tool Uppaal. Its goal is to be a short introduction on the flavor of
timed automata implemented in the tool, to present its interface, and to explain how to use …

This tutorial paper surveys the main features of Uppaal SMC, a model checking approach in
Uppaal family that allows us to reason on networks of complex real-timed systems with a …

This chapter presents principles and techniques for model-based black-box conformance
testing of real-time systems using the Uppaal model-checking tool-suite. The basis for …

Test und Validierung spielen bei Echtzeitsystemen eine zentrale Rolle: Auf die
Spezifikationen, die der Hersteller angibt, muss sich der Kunde hier in besonders hohem …

We study the problems of existence and construction of infinite schedules for finite weighted
automata and one-clock weighted timed automata, subject to boundary constraints on the …

Probabilistic timed automata, a variant of timed automata extended with discrete probability
distributions, is a modelling formalism suitable for describing formally both nondeterministic …

This contribution reports on the considerable effort made recently towards extending and
applying well-established timed automata technology to optimal scheduling and planning …

Due to the advancements in manufacturing system technology and the ever-increasing
demand for personalized products, there is a growing desire to improve the flexibility of …

Testing is the primary software validation technique used by industry today, but remains ad
hoc, error prone, and very expensive. A promising improvement is to automatically generate …