 |
|
|
|
| HAL : hal-00190883, version 1 |
| DOI : 10.1109/MEMCOD.2005.1487884 |
| Fiche détaillée |  Récupérer au format |
|
|
| Third ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05., Verona : Italy (2005) |
|
|
|
|
| A synchronous language at work: the story of Lustre |
|
|
| Nicolas Halbwachs 1 |
|
|
| (07/2005) |
|
|
|
| We recall the story of the development of the synchronous data-flow language Lustre and of its industrial transfer inside the toolset SCADE. We try to analyse the reasons of its success, and to report the main lessons we got from the transfer of an academic concept into real industrial world. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | VERIMAG (VERIMAG - IMAG) |
|
|
|
CNRS : UMR5104 – Université Joseph Fourier - Grenoble I – Institut National Polytechnique de Grenoble (INPG) |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Systèmes embarqués Informatique/Génie logiciel |
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00190883, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00190883 | |
| oai:hal.archives-ouvertes.fr:hal-00190883 | |
| Contributeur : Nicolas Halbwachs | |
| Soumis le : Vendredi 23 Novembre 2007, 10:16:31 | |
| Dernière modification le : Vendredi 23 Novembre 2007, 10:34:19 | |
