Author(s)

M.J. Wieczorek

Abstract

Structured specification of real time distributed systems using topological locative temporal logic M.J. Wieczorek Real Time Systems Group, Department of Mathematics and Computer Science, University of Nijmegen, P.O. Box 9010, 6500 GL Nijmegen, The Netherlands ABSTRACT One of the main issues of software quality is the correctness of programs. A long period of time correctness was understood and restricted to functional correctness, i.e. the behaviour of a program in its environment satisfies its requirements. That is adequate for sequential possibly non-deterministic programs but in the case of distributed real time systems correctness no longer can be restricted only to functionality. Parallel execution of pro- cesses, correct communication behaviour, and quantitative timing proper- ties are some of the additional features distributed real time systems have in common. To reason about distributed real time systems several logics are used in the literature. Among t

Keywords