Modelling real-time systems using timed rewriting logic

الملخص EN

Real-Time systems are dynamic and generic systems that are able to modify their own states during time Typical examples of real time systems are processes, concurrent, reactive and distributed systems.

The goal of this paper is to provide a semantic for time aspects using Mesezuer's rewriting logic in term of SRI's Maude as higher specifying language for the specification of object-oriented and concurrent systems.

We address the formal specification of a simple train crossing-gate system using Timed- Maude as extended language to Maude.

We show that temporal logic is easy apprehended using timed rewriting logic