language for control structuring in real time
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