ELECTRE: A language using control structure expressions to specify synchronization

After a quick overview of the well-known problem of the Readers-Writers, this paper briefly reviews the general tools that have been proposed to specify the synchronization conditions of real-time applications. 'We describe the evolution of these tools, and mention their shortcomings which led us to propose a language enabling control structuration. At the same time, we show how we were influenced by works about regular expressions. Then we give the syntactic description of the language we designed and the operational semantics of the operators we have introduced. For this last part, we use Milner's Synchronous calculus of communicating systems.