N-synchronous Kahn networks: A relaxed model of synchrony for real-time systems

ACM SIGPLAN Notices

Volumn 41, Issue 1, 2006, Pages 180-193

  Cohen, Albert ^a   Pagetti, Claire ^a,d   Duranton, Marc ^c   Plateau, Florence ^b   Eisenbeis, Christine ^a   Pouzet, Marc ^b  

^a INRIA   (France)

^b UNIVERSITÉ PARIS SACLAY   (France)

^c PHILIPS RESEARCH LABORATORIES   (Netherlands)

^d ONERA   (France)

Author keywords

Correctness by Construction; Resource Constraints; Streaming Applications; Subtyping; Synchronous Languages

Indexed keywords

ANIMATION; COMPUTER PROGRAMMING; MATHEMATICAL MODELS; MEDICAL IMAGING; NUMERICAL ANALYSIS; TELEVISION;

CORRECTNESS BY CONSTRUCTION; N-SYNCHRONOUS KAHN NETWORKS; PARALLEL PROGRAMMING; SYNCHRONOUS LANGUAGES;

REAL TIME SYSTEMS;

EID: 33745219196     PISSN: 03621340     EISSN: 03621340     Source Type: Journal    
DOI: 10.1145/1111320.1111054     Document Type: Article

References (25)

1. A. Aiken and E. L. Wimmers. Type inclusion constraints and type inference. In Functional Programming Languages and Computer Architecture, pages 31-41, 1993.
2. 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, 91(1):64-83, 2003.
3. A. Benveniste, P. Le Guernic, and C. Jacqueraot. Synchronous programming with events and relations: the signal language and its semantics. Sci. Comput. Program., 16(2): 103-149, 1991.
4. G. Berry. The Foundations of Esterel. MIT Press, 2000.
5. J.-Y. Brunel, W. M. Kruijtzer, H. J. H. N. Renter, F. Pétrot, L. Pasquier, E. A. de Kock, and W. J. M. Smits. COSY communication IP's. In 37th Design Automation Conference (DAC'OO), pages 406-409, Los Angeles, California, June 2000.
6. J. Buck, S. Ha, E. A. Lee, and D. G. Messerschmitt. Ptolemy: A framework for simulating and prototyping heterogenous systems. Int. Journal in Computer Simulation, 4(2): 155-182, 1994.
7. P. Caspi. Embedded control: From asynchrony to synchrony and back. In EMSOFT'01, volume 2211 of LNCS, Lake Tahoe, October 2001. Springer-Verlag.
8. P. Caspi and M. Pouzet. Synchronous Kahn networks. In ICFP '96: Proceedings of the first ACM SIGPLAN international conference, on Functional programming, pages 226-238. ACM Press, 1996.
9. Z.S. Chamski, M. Duranton, A. Cohen, C. Eisenbeis, P. Feautrier, and D. Genius. Application-domain-driven system design for pervasive video processing. Ambient intelligence: impact on embedded system design, pages 251-270, 2003.
10. D. M. Chapiro. Globally-Asynchronous Locally-Synchronous Systems. PhD thesis, Stanford University, October 1984.
11. A. Cohen, M. Duranton, C. Eisenbeis, C. Pagetti, F. Plateau, and M. Pouzet. Synchronization of periodic clocks. In ACM Conf. on Embedded Software (EMSOFT'05), Jersey City, New York, September 2005.
12. J.-L. Colaço, A. Girault, G. Hamon, and M. Pouzet. Towards a Higher-order Synchronous Data-flow Language. In EMSOFT'04, Pisa, Italy, September 2004.
13. J.-L. Colaço and M. Pouzet. Clocks as first class abstract types. In Rajeev Alur and Insup Lee, editors, EMSOFT'03, volume 2855 of Lecture Notes in Computer Science, pages 134-155. Springer, 2003.
14. E. A. de Kock, G. Essink, W. J. M. Smits, P. van der Wolf, J.-Y. Brunel, W. M. Kruijtzer, P. Lieverse, and K. A. Vissers. Yapi: Application modeling for signal processing systems. In 37th Design Automation Conference, Los Angeles, CA, June 2000. ACM Press.
15. D. G. Messerschmitt E. A. Lee. Static scheduling of synchronous data flow programs for digital signal processing. IEEE Trans. Computers, 36(1):24-25, 1987.
16. K. Goossens, G. Prakash, J. Röver, and A. P. Niranjan. Interconnect and memory organization in SOCs for advanced set-top boxes and TV - evolution, analysis, and trends. In Jari Nurmi, Hannu Tenhunen, Jouni Isoaho, and Axel Jantsch, editors, Interconnect-Centric Design for Advanced SoC and NoC, chapter 15, pages 399-423. Kluwer, April 2004.
17. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language lustre. Proceedings of the IEEE, 79(9): 1305-1320, September 1991.
18. G. Kahn. The semantics of a simple language for parallel programming. In J. L. Rosenfeld, editor, Information processing, pages 471-475, Stockholm, Sweden, Aug 1974. North Holland, Amsterdam.
19. P. Le Guernic, J.-P. Talpin, and J.-C. Le Lann. Polychrony for system design. Journal for Circuits, Systems and Computers, Special Issue on Application Specific Hardware Design, April 2003.
20. C. E. Leiserson and J. B. Saxe. Retiming synchronous circuitry. Algorithmica, 6(1), 1991.
21. A.J.M. Moonen, M. Bekooij, and J. van Meerbergen. Timing analysis model for network based multiprocessor systems. In proceedings of ProRISC, 15th annual Workshop of Circuits, System and Signal Processing, pages pages 91 - 99, Veldhoven, The Netherlands, November 2004. ISBN: 90-73461-43-X.
22. B. C. Pierce. Types and Programming Languages. MIT Press, 2002.
23. F. Pottier. Simplifying subtyping constraints. In ACM Intl. Conf. on Functional Programming (ICFP'96), volume 31(6), pages 122-133, 1996.
24. W. Thies, M. Karczmarek, and S. Amarasinghe. StreamIt: A language for streaming applications. In International Conference on Compiler Construction, Grenoble, France, April 2002.
25. J. E. Vuillemin. On circuits and numbers. IEEE Trans. Comput., 43(8): 868-879, 1994.