Automatic Rate Desynchronization of Embedded Reactive Programs

ACM Transactions on Embedded Computing Systems

Volumn 5, Issue 3, 2006, Pages 687-717

  Girault, Alain ^a   Nicollin, Xavier ^b   Pouzet, Marc ^c  

^a INRIA RHÔNE ALPES   (France)

^b VERIMAG   (France)

^c UNIVERSITÉ PARIS SACLAY   (France)

Author keywords

Algorithms; automatic distribution; Design; desynchronization; Embedded programs; long duration tasks; parallelization algorithm; reactive systems

Indexed keywords

EID: 49749153182     PISSN: 15399087     EISSN: 15583465     Source Type: Journal    
DOI: 10.1145/1165780.1165786     Document Type: Article

References (29)

1. Aubry, P., Le Guernic, P., and Machard, S. 1996. Synchronous distributions of signal programs. In Hawaii International Conference on System Sciences, HICSS'96. IEEE, Honolulu, HI. 656-665
2. Benveniste, A. et al. 1998. Safety critical embedded systems design: The SACRES approach. Tutorial at the Symposium on Formal Techniques in Real-Time and Fault Tolerant systems, FTRTFT'98
3. Benveniste, A., Caillaud, B., and Le Guernic, P. 2000. Compositionality in dataflow synchronous languages: Specification and distributed code generation. Information and Computation 163, 125-171
4. Benveniste, A., Caspi, P., Edwards, S., Halbwachs, N., Le Guernic, P., and De Simone, R. 2003. The synchronous languages twelve years later. Proceedings of the IEEE 91, 1 (Jan.), 64-83. Special issue on embedded systems
5. Bergerand, J.-L. and Pilaud, E. 1988. SAGA: A software development environment for dependability in automatic control. In International Conference on Computer Safety, Reliabilitiy, and Security, SAFECOMP'88. Fulda, Germany. Pergamon Press, New York
6. Berry, G. and Gonthier, G. 1992. The Esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming 19, 2, 87-152
7. Caillaud, B., Caspi, P., Girault, A., and Jard, C. 1997. Distributing automata for asynchronous networks of processors. European Journal of Automation (RAIRO-APII-JESA) 31, 3, 503-524. Research report Inria 2341
8. Caspi, P. 1992. Clocks in data-flow languages. Theoretical Computer Science 94, 125-140
9. Caspi, P. and Girault, A. 1995. Execution of distributed reactive systems. In 1st International Conference on Parallel Processing, EURO-PAR'95, S. Haridi, K. Ali, and P. Magnusson, Eds. LNCS, vol. 966. Stockholm, Sweden. Springer-Verlag, New York. 15-26
10. Caspi, P. and Pouzet, M. 1996. Synchronous Kahn networks. In ACM SIGPLAN International Conference on Functional Programming, ICFP'96. ACM Press, New York
11. Caspi, P., Girault, A., and Pilaud, D. 1999. Automatic distribution of reactive systems for asynchronous networks of processors. IEEE Trans. on Software Engineering 25, 3 (May-June). 416427
12. Caspi, P., Fernandez, J.-C., and Girault, A. 1995. An algorithm for reducing binary branchings. In 15th Conference on the Foundations of Software Technology and Theoretical Computer Science, FST&TCS'95, P. Thiagarajan, Ed. LNCS, vol. 1026. Bangalore, India. Springer-Verlag, New York. 279-293
13. Caspi, P., Curic, A., Maignan, A., Sofronis, C., Tripakis, S., and Niebert, P. 2003. From Simulink to Scade/Lustre to TTA: A layered approach for distributed embedded applications. In International Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES'03. San Diego, CA, ACM, New York. 153-162
14. Colacco, J.-L. and Pouzet, M. 2003. Clocks as first class abstract types. In International Conference on Embedded Software, EMSOFT'03, R. Alur and I. Lee, Eds. LNCS, vol. 2855. Philadelphia, PA Springer-Verlag, New York. 134-155
15. Fernandez, J.-C. and Mounier, L. 1991. “On the fly” verification of behavioural equivalences and preorders. In Workshop on Computer-Aided Verification, CAV91, K. Larsen, Ed. LNCS. Aalbord, Denmark. Springer-Verlag, New York
16. Gupta, R., Pande, S., Psarris, K., and Sarkar, V. 1999. Compilation techniques for parallel systems. Parallel Computing 25, 13, 1741-1783
17. Halbwachs, N., Caspi, P., Raymond, P., and Pilaud, D. 1991. The synchronous data-flow programming language Lustre. Proceedings of the IEEE 79, 9 (Sept.). 1305-1320
18. Harel, D. and Pnueli, A. 1985. On the development of reactive systems. In Logic and Models of Concurrent Systems, NATO. Springer-Verlag, New-York. 477-498
19. Henzinger, T., Horowitz, B., and Kirsch, C. 2003. Giotto: A time-triggered language for embedded programming. Proceedings of the IEEE 91. 84-99
20. Kopetz, H. 1997. Real-Time Systems Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, Boston, MA
21. Le Guernic, P., Gautier, T., Le Borgne, M., and Lemaire, C. 1991. Programming real-time applications with Signal. Proceedings of the IEEE 79, 9 (Sept.), 1321-1336
22. Liu, C. and Layland, J. 1973. Scheduling algorithms for multiprogramming in hard real-time environnement. Journal of the ACM 20, 1 (Jan.), 46-61
23. MaffeïS, O. 1993. Ordonnancements de graphes de flots synchrones ; application ii la mise en œuvre de Signal. Ph.D. thesis, University of Rennes I, Rennes, France
24. Milner, R. 1980. A Calculus of Communicating Systems. LNCS, vol. 92. Springer-Verlag, New York
25. Paris, J.-P. 1992. Execution de tiîches asynchrones depuis Esterel. Ph.D. thesis, University of Nice, Nice, France
26. Plaice, J. and Saint, J.-B. 1987. The Lustre-Esterel Portable Format. Inria, Sophia-Antipolis, France. User Manual
27. Salpietrier, F. 2002. Interface graphique utilisateur pour la rEpartition de programmes Lustre dirigée par les horloges. M.S. thesis, ESISAR, Valence, France
28. Sha, L., Rajkumar, R., and Lehoczky, J. 1990. Priority inheritance protocols: An approach to realtime synchronization. IEEE Trans. on Computers 39, 1175-1185
29. The Mathworks, Inc. 1999. Real-Time Workshop User's Guide, Version 3.