Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
EXECUTION MACHINE FOR SYNCHRONOUS LANGUAGES Charles ANDR Hdi BOUFAED
 

Summary: EXECUTION MACHINE FOR SYNCHRONOUS LANGUAGES
Charles ANDRÉ Hédi BOUFAÏED
Laboratoire I3S, Université de Nice/CNRS
41, Bd Napoléon III
06041 NICE cedex, France
andre@i3s.unice.fr
Tel: +33 497 258 257
Fax: +33 493 212 054
ABSTRACT
Control-dominated systems, like controllers, are reactive
systems often subject to real-time constraints. The
programming style adopted for these applications is rather
special: event- or interrupt-driven programs involving
complex coordination. Imperative synchronous languages
like Esterel have been introduced to cope with these
applications.
We have developed an environment to deal with control-
dominated systems. The user expresses the expected
behavior of the controller using a synchronous formalism.
Given this description and a configuration (inputs,

  

Source: André, Charles - Laboratoire I3S, Université de Nice Sophia Antipolis

 

Collections: Computer Technologies and Information Sciences