| Abstract |
|---|
| In this paper, we describe an approach to the representation, specification and implementation of real-time systems. The approach is based on the notion of concurrent object-oriented systems where processes are represented as objects. In our approach, the behaviour of an object (its safety properties and time requirements) is declaratively stated as aset of temporal constraints among events which provides great advantages in writing concurrent real-time systems and manipulating them while preserving correctness. The temporal constraints have a procedural interpretation that allows them to be executed, also concurrently. In this way, the specification of an object behaviour is directly executed, thus eliminating the need to verify that the implementation satisfies its specification. The approach also provides a framework in which algorithms for a variety of concurrent programming paradigms may be expressed, compared and manipulated, and can be used as the basis for a development methodology for concurrent real-time systems. |
| Contact |
| Rafael Ramirez Information Systems and Computer Science Dept., National University of Singapore, Lower Kent Ridge Road, Singapore 119260, rafael@iscs.nus.edu.sg |