Interpretation of DD-LOTOS Specification by C-DATA

The DD-LOTOS language is defined for the formal specification of distributed real-time systems. The peculiarity of this language compared to existing languages is its taken into account of the distributed aspect of real-time systems. DD-LOTOS has been defined on a semantic model of true concurrency ie the semantics of maximality. Our work focuses on the translation of DD-LOTOS specifications to an adequate semantic model. The destination model is a communicating timed automaton with durations of actions, temporal constraints and supports communication between localities; this model is called C-DATA*.