Clock-driven automatic distribution of Lustre programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2855, Issue , 2003, Pages 206-222

  Girault, Alain ^a   Nicollin, Xavier ^b  

^a INRIA RHÔNE ALPES   (France)

^b VERIMAG   (France)

Author keywords

Automatic distribution; Clocks; Data flow languages; Long duration tasks; Reactive systems; Synchronous abstraction

Indexed keywords

ABSTRACTING; CLOCKS; COMPUTATIONAL LINGUISTICS; DATA TRANSFER;

AUTOMATIC DISTRIBUTION; DATA FLOW LANGUAGE; LONG DURATION; REACTIVE SYSTEM; SYNCHRONOUS ABSTRACTION;

APPLICATION PROGRAMS;

EID: 0142156698     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45212-6_14     Document Type: Article

References (23)

1. C. André, F. Boulanger, and A. Girault. Software implementation of synchronous programs. In International Conference on Application of Concurrency to System Design, ICACSD'01, pages 133-142, Newcastle, UK, June 2001. IEEE.
2. P. Aubry, P. Le Guernic, and S. Machard. Synchronous distributions of Signal programs. In 29th Hawaii International Conference on System Sciences, HICSS-29, pages 656-665, Honolulu, USA, January 1996. IEEE.
3. A. Benveniste, B. Caillaud, and P. Le Guernic. Compositionality in dataflow synchronous languages: Specification and distributed code generation. Information and Computation, 163:125-171, 2000.
4. A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. Le Guernic, and R. de Simone. The synchronous languages twelve years later. Proceedings of the IEEE, 2002. Special issue on embedded systems.
5. G. Berry and G. Gonthier. The Esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19(2):87-152, 1992.
6. B. Caillaud, P. Caspi, A. Girault, and C. Jard. Distributing automata for asynchronous networks of processors. European Journal of Automation (RAIRO-APII-JESA), 31(3):503-524, 1997. Research report INRIA 2341.
7. P. Caspi. Clocks in data-flow languages. Theoretical Computer Science, 94:125-140, 1992.
8. P. Caspi, J.-C. Fernandez, and A. Girault. An algorithm for reducing binary branchings. In P.S. Thiagarajan, editor, 15th Conference on the Foundations of Software Technology and Theoretical Computer Science, FST&TCS'95, volume 1026 of LNCS, Bangalore, India, December 1995. Springer-Verlag.
9. P. Caspi and A. Girault. Execution of distributed reactive systems. In S. Haridi, K. Ali, and P. Magnusson, editors, 1st International Conference on Parallel Processing, EURO-PAR'95, volume 966 of LNCS, pages 15-26, Stockholm, Sweden, August 1995. Springer-Verlag.
10. P. Caspi, A. Girault, and D. Pilaud. Automatic distribution of reactive systems for asynchronous networks of processors. IEEE Trans. on Software Engineering, 25(3):416-427, May/June 1999.
11. P. Caspi and M. Pouzet. Lucid synchrone: une extension fonctionnelle de Lustre. In Journées Francophones des Langages Applicatifs (JFLA), Morzine, France, February 1999. Inria.
12. P. Le Guernic, T. Gautier, M. Le Borgne, and C. Lemaire. Programming real-time applications with Signal. Proceedings of the IEEE, 79(9):1321-1336, September 1991.
13. R. Gupta, S. Pande, K. Psarris, and V. Sarkar. Compilation techniques for parallel systems. Parallel Computing, 25(13):1741-1783, 1999.
14. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous data-flow programming language Lustre. Proceedings of the IEEE, 79(9):1305-1320, September 1991.
15. D. Harel and A. Pnueli. On the development of reactive systems. In Logic and Models of Concurrent Systems, NATO. Springer-Verlag, 1985.
16. T.A. Henzinger, B. Horowitz, and C.M. Kirsch. Giotto: A time-triggered language for embedded programming. In First International Workshop on Embedded Software, EMSOFT'01, volume 2211 of LNCS, Tahoe City, USA, October 2001. Springer Verlag.
17. C.L. Liu and J.W. Layland. Scheduling algorithms for multiprogramming in hard real-time environnement. Journal of the ACM, 20(1):46-61, January 1973.
18. O. Maffeïs. Ordonnancements de graphes de flots synchrones ; Application à la mise en œuvre de Signal. PhD Thesis, University of Rennes I, Rennes, France, January 1993.
19. J.-P. Paris. Exécution de tâches asynchrones depuis Esterel. PhD Thesis, University of Nice, Nice, France, 1992.
20. J.A. Plaice and J.-B. Saint. The Lustre-Esterel Portable Format. INRIA, Sophia-Antipolis, France, 1987. Unpublished report.
21. F. Salpétrier. Interface graphique utilisateur pour la répartition de programmes Lustre dirigée par les horloges. Master's thesis, ESISAR, Valence, France, June 2002.
22. L. Sha, R. Rajkumar, and J.P. Lehoczky. Priority inheritance protocols: An approach to real-time synchronization. IEEE Trans. on Computers, 39:1175-1185, September 1990.
23. The MathWorks, Inc. Real-Time Workshop User's Guide, Version 3, January 1999.