Correct-by-construction asynchronous implementation of modular synchronous specifications

Proceedings - International Conference on Application of Concurrency to System Design, ACSD

Volumn 2005, Issue , 2005, Pages 48-57

  Potop Butucaru, Dumitru ^a   Caillaud, Benoît ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEM RECOVERY; SEMANTICS; SIGNALING; SYNCHRONIZATION;

ASYNCHRONOUS IMPLEMENTATION; GLOBAL CLOCK; SYNCHRONOUS SPECIFICATION; UNIFIED FRAMEWORK;

SYSTEMS ANALYSIS;

EID: 33746265886     PISSN: 15504808     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACSD.2005.10     Document Type: Conference Paper

References (19)

1. N. Halbwachs, Synchronous programming of reactive systems. Kluwer Academic Publishers, 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, 2003.
3. D. Potop-Butucaru, R. de Simone, and J.-P. Talpin, "The synchronous hypothesis and synchronous languages," in The Embedded Systems Handbook, R. Zurawski, Ed., 2005, CRC Press. To appear.
4. C. Carloni, K. McMillan, and A. Sangiovanni-Vincentelli, "The theory of latency-insensitive design," IEEE Transactions on Computer-Aided Design, of Integrated Circuits and Systems, vol. 20, no. 9, pp. 1059-1076, 9 2001.
5. N. Lynch and E. Stark, "A proof of the Kahn principle for input/output automata," Information and Computation, vol. 82, no. 1, pp. 81-92, 7 1989.
6. P. Caspi, A. Girault, and D. Pilaud, "Automatic distribution of reactive systems for asynchronous networks of processors," IEEE Trans. on Software Engineering, vol. 25, no. 3, pp. 416-427, may/June 1999. [Online], Available: http://www.inrialpes.fr/pop-art/people/girault/Publications/Tse99
7. J.-P. Talpin, P. Le Guernic, S. K. Shukla, R. Gupta, and F. Doucet, "Formal refinement checking in a system-level design methodology," Fundamenta Informaticae, 2004.
8. A. Benveniste, B. Caillaud, and P. Le Guernic, "Compositionality in dataflow synchronous languages: Specification and distributed code generation," Information and Computation, no. 163, pp. 125-171, 2000.
9. M. Singh and M. Theobald, "Generalized latency insensitive systems for gals architectures," in Proceedings FMGALS2003, Pisa, Italy, 2003.
10. D. Potop-Butucaru, B. Caillaud, and A. Benveniste, "Concurrency in synchronous systems," in Proceedings ACSD 2004, Hamilton, Canada, 2004.
11. H. Kopetz, Real-Time Systems, Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, 1997.
12. P. Caspi, A. Girault, and D. Pilaud, "Automatic distribution of reactive systems for asynchronous networks of processors," IEEE Transactions on Software Engineering, vol. 25, no. 3, pp. 416-427, 1999.
13. T. Grandpierre and Y. Sorel, "From algorithm and architecture specifications to automatic generation of distributed real-time executives: a seamless flow of graphs transformations," in Proceedings MEMOCODE'03, Mont Saint-Michel, France, 2003.
14. I. Blunno, J. Cortadella, A. Kondratyev, L. Lavagno, K. Lwin, and C. P. Sotiriou, "Handshake protocols for de-synchronization," in Proceedings Async04, Crete, Greece, 2004, pp. 149-158.
15. J. Cortadella, M. Kishinevsky, A. Kondratiev, L. Lavagno, and A. Yakovlev, Logic Synthesis of Asynchronous Controllers and Interfaces. Springer, 2002.
16. K. Yun and D. Dill, "Automatic synthesis of extended burst-mode circuits," IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 18, no. 2, pp. 101-132, feb. 1999.
17. D. Potop-Butucaru and B. Caillaud, "Correct-by-construction asynchronous implementation of modular synchronous specifications," IRISA, Rennes, France, Tech. rep. P11670, 2004, http://www.irisa.fr/bibli/publi/pi. To appear.
18. E. Stark, "Concurrent transition systems," Theoretical Computer Science, vol. 64, no. 3, pp. 221-269, 1989.
19. M. Mukund, "Petri nets and step transition systems," International Journal of Foundations of Computer Science, vol. 3, no. 4, pp. 443-478, 1992.