language for control structuring in real time

  • JP Elloy and O Roux "Electre: a language for control structuring in real time" pp229-234 view details Abstract: This paper briefly reviews the general tools proposed to express the synchronisation 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 structuring.

    First, an application is decomposed so as to deal with tasks featuring no breakpoint but software and hardware events. Then these elements are combined into sentences called control structures, designed so that occurring events rhythm the tasks. Finally, we provide a way to specify the synchronisation conditions very accurately, and examples are given to make clear the use of the language.

          in The Computer Journal 29(3) 1986 view details