 |
|
|
|
| HAL: hal-00190883, version 1 |
| DOI: 10.1109/MEMCOD.2005.1487884 |
| Detailed view |  Export this paper |
|
|
| 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 |
|
|
| (2005-07) |
|
|
|
| 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 |
|
|
|
|
|
|
|
|
|
| Subject | : | Computer Science/Embedded Systems Computer Science/Software Engineering |
|
|
| Attached file list to this document: | |||||
|
|||||
|
|
|
| hal-00190883, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00190883 | |
| oai:hal.archives-ouvertes.fr:hal-00190883 | |
| From: Nicolas Halbwachs | |
| Submitted on: Friday, 23 November 2007 10:16:31 | |
| Updated on: Friday, 23 November 2007 10:34:19 | |
