Logical approach for specification and execution of concurrent real-time systems

Abstract

We present a declarative logic programming based language for concurrent real-time programming. In the language, the time requirements and safety properties of programs can be explicitly stated as temporal constraints. This provides great advantages in writing concurrent real-time systems and manipulating them while preserving correctness. The language has a procedural interpretation that allows the specification to be executed, also concurrently. The language is sufficiently high-level to simulate several practical concurrent programming paradigms, and can act as kernel language in a concurrent real-time object-oriented framework.