3. Duration Calculus Page 1 3. Duration Calculus In this chapter we present the syntax,
semantics and proof system of duration calculus. In addition, we present some theorems …

Simultaneous Diophantine approximation in d dimensions deals with the approximation of a
vector \bfα=(α_1,⋯,α_d) of d real numbers by vectors of rational numbers all having the …

Software for safety critical systems must deal with the hazards identified by safety analysis.
This paper investigates, how the results of one safety analysis technique, fault trees, are …

Abstract The Duration Calculus (abbreviated DC) represents a logical approach for formal
design of real-time systems, where real numbers are used to model time and Boolean …

Real-time systems need to react to certain input stimuli within given time bounds. For
example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many …

We introduce a new class of automata which are tailored for dealing with real-time
properties modelling the behaviour of Programmable Logic Controllers (PLC) that are often …

We introduce PLC-automata as a new class of automata which are tailored to deal with real-
time properties of programmable logic controllers (PLCs). These devices are often used in …

Abstract Model checking of real-time systems against Duration Calculus (DC) specifications
requires the translation of DC formulae into automata-based semantics. The existing …

This paper exploits design patterns employed in coordinating autonomous transport
vehicles in order to ease the burden in verifying cooperating hybrid systems. The presented …

The authors report on a formal requirements analysis experiment involving an avionics
control system. They describe a method for specifying and verifying real-time systems with …