3 ms·

Synchronous Programming of Reactive Systems, Halbwachs Synchronous Languages for Hardware and Software Reactive Systems, Berry Designing Embedded Systems with

by junke 10y ago

Synchronous Programming of Reactive Systems, Halbwachs Synchronous Languages for Hardware and Software Reactive Systems, Berry Designing Embedded Systems with the SIGNAL Programming Language, Gamatié The Synchronous Languages 12 Years Later (http://www-verimag.imag.fr/~halbwach/PS/iee03.pdf http://www-verimag.imag.fr/~halbwach/PS/iee03.pdf) There are some resources at Verimag (http://www-verimag.imag.fr/Tempo,32.html?lang=en http://www-verimag.imag.fr/Tempo,32.html?lang=en) and the Esterel website (https://www-sop.inria.fr/meije/esterel/esterel-eng.html https://www-sop.inria.fr/meije/esterel/esterel-eng.html). You can search the HAL database too (hal.inria.fr) and maybe have a look at SCADE (http://www.esterel-technologies.com/products/scade-suite/ http://www.esterel-technologies.com/products/scade-suite/).

iheartmemcache 10y ago
I'm a huge INRIA fan so I decided to play with Esterel a while back. If people call Haskell an 'academic' language, I have no idea how an average person would describe Esterel. "Thinking in" Esterel is going to be a huge shift for the traditionally trained CS guy who's never touched a circuit. Half the people in our field didn't even go to go to school for CS[1]. Hell, I've got a decent amount of LabVIEW and Verilog experience, and even I have trouble with it. That being said, it's interesting and those resources are definitely going on the Kindle. Do you have a link to your thesis ? (Judging by your comment history, it has a high likelihood of being quality). [1] Not to denigrate those who were less traditionally educated. The brightest engineer I know is a high-school drop-out. They however were motivated enough to read Sipser, Gunter, B Peirce, and all the standard texts (again, not as a requirement to read All The Fancy Books, but just to enrich his own mind for the sake of knowledge - without that curiosity, one might have a difficult time being more than a code-monkey (not that there's anything wrong with that, but I personally have the scratch of "how does this work" that I need to keep on itching compulsively)).
- junke 10y ago
  > Do you have a link to your thesis? There is only a French version: https://tel.archives-ouvertes.fr/tel-00680308/ https://tel.archives-ouvertes.fr/tel-00680308/ The context is about using a constraint programming approach (in Prolog) to model Lustre/Scade programs and automatically generate traces of input/outputs that satisfy a given test objective. With the help of my advisers I extended the GATeL tool to introduce what is known as "clocks" in Lustre and integrate them with other constraint domains to prune the search space efficiently.
  - vanderZwan 10y ago
    I get the impression that synchronous programming is somehow only really known inside the French PL community, is that correct?
    - junke 10y ago
      Synchronous programming is mostly a French thing but as far as I know there is also Quartz in Germany (https://es.cs.uni-kl.de/publications/datarsg/Schn09.pdf https://es.cs.uni-kl.de/publications/datarsg/Schn09.pdf), Ptolemy in Berkeley (http://ptolemy.eecs.berkeley.edu/publications/papers/01/sr/sr.pdf http://ptolemy.eecs.berkeley.edu/publications/papers/01/sr/s...) and some work at Virginia Tech (https://theses.lib.vt.edu/theses/available/etd-08112011-161349/unrestricted/Jose_BA_D_2011.pdf https://theses.lib.vt.edu/theses/available/etd-08112011-1613...).

by junke 10y ago

iheartmemcache 10y ago

I'm a huge INRIA fan so I decided to play with Esterel a while back. If people call Haskell an 'academic' language, I have no idea how an average person would describe Esterel. "Thinking in" Esterel is going to be a huge shift for the traditionally trained CS guy who's never touched a circuit. Half the people in our field didn't even go to go to school for CS[1]. Hell, I've got a decent amount of LabVIEW and Verilog experience, and even I have trouble with it. That being said, it's interesting and those resources are definitely going on the Kindle. Do you have a link to your thesis ? (Judging by your comment history, it has a high likelihood of being quality). [1] Not to denigrate those who were less traditionally educated. The brightest engineer I know is a high-school drop-out. They however were motivated enough to read Sipser, Gunter, B Peirce, and all the standard texts (again, not as a requirement to read All The Fancy Books, but just to enrich his own mind for the sake of knowledge - without that curiosity, one might have a difficult time being more than a code-monkey (not that there's anything wrong with that, but I personally have the scratch of "how does this work" that I need to keep on itching compulsively)).

junke 10y ago
> Do you have a link to your thesis? There is only a French version: https://tel.archives-ouvertes.fr/tel-00680308/ https://tel.archives-ouvertes.fr/tel-00680308/ The context is about using a constraint programming approach (in Prolog) to model Lustre/Scade programs and automatically generate traces of input/outputs that satisfy a given test objective. With the help of my advisers I extended the GATeL tool to introduce what is known as "clocks" in Lustre and integrate them with other constraint domains to prune the search space efficiently.
- vanderZwan 10y ago
  I get the impression that synchronous programming is somehow only really known inside the French PL community, is that correct?
  - junke 10y ago
    Synchronous programming is mostly a French thing but as far as I know there is also Quartz in Germany (https://es.cs.uni-kl.de/publications/datarsg/Schn09.pdf https://es.cs.uni-kl.de/publications/datarsg/Schn09.pdf), Ptolemy in Berkeley (http://ptolemy.eecs.berkeley.edu/publications/papers/01/sr/sr.pdf http://ptolemy.eecs.berkeley.edu/publications/papers/01/sr/s...) and some work at Virginia Tech (https://theses.lib.vt.edu/theses/available/etd-08112011-161349/unrestricted/Jose_BA_D_2011.pdf https://theses.lib.vt.edu/theses/available/etd-08112011-1613...).