M. Adelantado and F. Boniol, "Controlling real-time asynchronous tasks with Esterel synchronous language," in Proc. 13th Annu. ACM Symp. Principles of Distributed Comput., 1994, p. 387.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....the ability to model and simulate analog components. Recent versions of Simulink [41] have the capabilities of integrating discrete time and state transition components with a continuous time framework. Extensions have been made to the Esterel language to include asynchronous computations [45] [1]. New frameworks have also been developed to formally characterize heterogeneity in systems. The hybrid system theories integrate continuous time differential equations with discrete automata [5] The charts (pronounced: star charts) formalism combines finite state machines with a variety of ....

M. Adelantado and F. Boniol. Controlling real-- time asynchronous tasks with Esterel synchronous language. Principles of Distributed Computing, page 387, 1994.

....the ability to model and simulate analog components. Recent versions of Simulink [38] have the capabilities of integrating discretetime and state transition components with a continuous time framework. Extensions have been made to the Esterel language to include asynchronous computations [42] [1]. New frameworks have also been developed to formally characterize heterogeneity in systems. The hybrid system theories integrate continuous time differential equations with discrete automata [4] The charts (pronounced: star charts) formalism combines finite state machines with a variety of ....

M. Adelantado and F. Boniol. Controlling real--time asynchronous tasks with Esterel synchronous language. Principles of Distributed Computing, page 387, 1994.

....may be located at large distances, can certainly not be done in a synchronous manner. Therefore, asynchronous extensions of synchronous languages are interesting for modeling and implementing distributed systems. For this reason, asynchronous extensions of synchronous languages have been given in [22, 1], and especially in [8] where communicating reactive processes are described. These processes are themselves implemented synchronously in Esterel, but run asynchronously to each other. The processes communicate via channels with each other instead of the usual broadcast communication of Esterel. ....

M. Adelantado and F. Boniol. Controlling real--time asynchronous tasks with Esterel synchronous language. In Principles of Distributed Computing, page 387. ACM, 1994.

.... We have then developed a testbed, called Saturne, which is described in depth in [Ade 95] Saturne may be considered as a rapid prototyping tool for designing time critical applications in terms of a distributed network of reactive anytime agents, using the Esterel reactive language [Ade 94a] Ade 94b] Related works include the asynchronous transfer of control mechanism, recently proposed by Giering and Baker, to integrate the model of imprecise computations into Ada [Gie 94] The difference with our approach lies in the choice of the Ada 9X emerging revised Ada language standard which not ....

Adelantado M., Boniol F., "Controlling real-time asynchronous tasks with Esterel synchronous languages", (short paper), 13th ACM Symposium on Principles of Distributed Computing (PODC' 94), Los Angeles, California, August 14--17, 1994

No context found.

M. Adelantado and F. Boniol, "Controlling real-time asynchronous tasks with Esterel synchronous language," in Proc. 13th Annu. ACM Symp. Principles of Distributed Comput., 1994, p. 387.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC