Some questions about the Esterel primer...

Herman Bruyninckx <[email protected]>
Newsgroups gmane.science.robotics.orocos.user
Message-ID <Pine.LNX.4.33.0112062115520.3407-100000@pc25-213.mech.kuleuven.ac.be>
I'm currently reading the Esterel primer (``The Esterel v5 Language
Primer,'' Version v5 91,
<http://www.esterel-technologies.com/corporate/downloads/primer.pdf>)
and I have some questions...

- p.14 ``As of now, there is no completely satisfactory way of
  unifying the data- flow styles of Lustre and Signal and the control
  flow styles of Esterel and Statecharts. The programming primitives one
  need for data-handling and control-handling are indeed quite
  different.''

  Where can I find more information about these differences?

- ``Reactive systems, also called re ex systems, continuously react to
  stimuli coming from their environment by sending back other stimuli.
  Contrarily to interactive systems, reactive systems are purely input-driven
  and they must react at a pace that is dictated by the environment.
  Process controllers or signal processors are typical reactive systems.''
  ``reactive languages are largely inadequate for interactive
  programming as a whole.''

  I somewhere found a description of Statecharts as ``a modelling
  language for reactive systems,'' and a reference to its use for
  describing ``port-based'' systems, such as described by Modelica.
  One of the problems in this area seems to be that
  Modelica/Statecharts based models cannot cope very well with
  controllers. Is this true? Does this mean that
  Esterel (which _is_ suitable for controllers) would be a better
  choice than pure Modelica to model robot systems (i.e., the dynamics
  _and_ controllers in one integrated modelling language)?

- p.25 ``Valued Signals Versus Variables''
  I learn from this Section that it is not a good idea to make events into
  objects that can carry data: if two processes generate the same event
  but with different data in the ``event object'', this will sooner or
  later lead to indeterministic behaviour because different processes
  will handle the events in different order. Is this a correct conclusion?

Herman
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.