Programming-Language Extension for Distributed Real-Time Systems

摘要

In this paper, the authors propose a method for extending programming languagesthat enables the specification of timing properties of systems. The presented method includes a view on the system development process. The aim of this paper is to illustrate the method and demonstrate its applicability to actual real-time problems. To this end, the authors define a simple programming language that includes the timing extension. The authors present a formal semantics for a characteristic part of the language constructs and apply formal methods to prove the correctness of a small example program. The authors consider in detail a larger example, namely the mine-pump problem known from the literature. The authors construct a real-time program for this problem and decribe various ways to map the program to an implementation for different platforms.