Necessary and sufficient conditions for deterministic desynchronization

EMSOFT'07: Proceedings of the Seventh ACM and IEEE International Conference on Embedded Software

Volumn , Issue , 2007, Pages 124-133

  Potop Butucaru, Dumitru ^a   De Simone, Robert ^b   Sorel, Yves ^a  

^a INRIA ROCQUENCOURT   (France)

^b INRIA   (France)

Author keywords

Correctness; Desynchronization; Determinism; Endochrony; Execution machine; GALS; Kahn process network; Reaction to signal absence

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; EMBEDDED SYSTEMS;

EXECUTION MACHINE; KAHN PROCESS NETWORK; REACTION TO SIGNAL ABSENCE;

SCHEDULING;

EID: 38849174698     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1289927.1289950     Document Type: Conference Paper

References (15)

1. P. Amagbégnon, L. Besnard, and P. L. Guernic. Implementation of the data-flow synchronous language signal. In Proceedings PLDI'95, La Jolla, CA, USA, June 1995.
2. H. Attiya. Distributed Computing. McGraw-Hill Publishing Company, 1998.
3. A. Benveniste, B. Caillaud, and P. L. Guernic. Compositionality in dataflow synchronous languages: Specification and distributed code generation. Information and Computation, 163:125-171, 2000.
4. A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. L. Guernic, and R. de Simone. The synchronous languages 12 years later. Proceedings of the IEEE, 91(1):64-83, Jan. 2003.
5. F. Boussinot and R. de Simone. The SL synchronous language. Research Report RR-2510, INRIA, Sophia Antipolis, France, March 1995. http://www.inria.fr/rrrt/rr-2510.html.
6. P. Caspi, A. Girault, and D. Pilaud. Distributing reactive systems. In Proceedings PDCS'94, Las Vegas, USA, October 1994.
7. T. Grandpierre and Y. Sorel. From algorithm and architecture specification to automatic generation of distributed real-time executives: a seamless flow of graphs transformations. In Proceedings of First ACM and IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE'03, Mont Saint-Michel, France, June 2003.
8. P. L. Guernic, J.-P. Talpin, and J.-C. L. Lann. Polychrony for system design. Journal for Circuits, Systems and Computers, April 2003. Special Issue on Application Specific Hardware Design.
9. N. Halbwachs. Synchronous Programming of Reactive Systems. Kluwer academic Publishers, 1993.
10. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language Lustre. Proceedings of the IEEE, 79(9):1305-1320, 1991.
11. G. Kahn. The semantics of a simple language for parallel programming. In J. Rosenfeld, editor, Information Processing '74, pages 471-475. North Holland, 1974.
12. E. Lee and T. Park. Dataflow process networks. In Proceedings of the IEEE, volume 83, pages 773-799, 1995.
13. D. Potop-Butucaru and B. Caillaud. Correct-by-construction asynchronous implementation of modular synchronous specifications. Fundamenta Informaticae, 78(1):131-159, 2007.
14. D. Potop-Butucaru, B. Caillaud, and A. Benveniste. Concurrency in synchronous systems. Formal Methods in System Design, 28(2):111-130, March 2006.
15. M. Singh and M. Theobald. Generalized latency-insensitive systems for single-clock and multi-clock architectures. In Proceedings DATE'04, Paris, France, 2004.