We present a high-level corrdination model for concurrent real-time applications. In the model, the safety properties and time requirements of the system are declaratively stated as temporal constraints. Programs are annotated at points of interest so that the run-time environment monitors and verifies that specific temporal relationships between the visit times of these points are enforced. The model is language independent in that it allows the programmer to glue together separate concurrent threads regardless of their implementation language and application code. The main features of the model are illustrated by a series of examples.
展开▼