Hardware/Software Co-Design of Communication Protocols

Proceedings - Euromicro Conference on Real-Time Systems

Volumn , Issue , 1996, Pages 476-483

  Fischer, Stefan ^a   Wytrçbowicz, Jacek ^b   Budkowski, Stanislaw ^c  

^a UNIVERSITY OF MANNHEIM   (Germany)

^b WARSAW UNIVERSITY OF TECHNOLOGY   (Poland)

^c INSTITUT NATIONAL DES TÉLÉCOMMUNICATIONS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); COMPUTER HARDWARE DESCRIPTION LANGUAGES; MULTIMEDIA SYSTEMS; VIDEO ON DEMAND;

CO-DESIGNS; COMMUNICATIONS PROTOCOLS; END-SYSTEMS; ESTELLE; FINAL DECISION; HARDWARE AND SOFTWARE; HARDWARE/SOFTWARE CODESIGN; PARTIAL SPECIFICATIONS; PERFORMANCE; SOFTWARE PARTS;

SPECIFICATIONS;

EID: 84889054671     PISSN: 10683070     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EURMIC.1996.546472     Document Type: Conference Paper

References (24)

1. K. Buchenrieder, A. Sedlmeier, and C. Veith. HW/SW CoDesign with PRAMs Using CODES. In Proceedings of the International Conference on Computer Hardware Description Languages (CHDL'93), Ottawa, Canada, Apr. 1993.
2. S. Budkowski. Estelle Development Toolset. Computer Networks and ISDN Systems, Special Issue on FDT Concepts and Tools, 25(1):63-81, 1992.
3. M. Chiodo, P. Giusto, A. Jurecska, L. Lavagno, H. Hsieh, and A. Sangiovanni-Vincentelli. A Formal Specification Model for Hardware/Software Codesign. In Handouts of the International Workshop on Hardware Software Co-design, Cambridge, Mass., Oct. 1993.
4. D. Coelho. The VHDL Handbook. Kluwer Academic Publishers, 1989.
5. S. Fischer and B. Hofmann. An Estelle Compiler for Multiprocessor Platforms. In R. L. Tenney, P. D. Amer, and M. U. Uyar, editors, Formal Description Techniques, VI, pages 171-186. Elsevier Science Publishers B.V. (North-Holland), Amsterdam, 1994.
6. D. Gajski, F. Vahid, and S. Narayan. A Design Methodology for System Specification Refinement. In Proceedings of the Euro Design Automation Conference (EDAC'94), Paris, France, Feb. 1994.
7. R. Gupta and G. DeMicheli. Hardware-Software Cosynthesis for Digital Systems. IEEE Design and Test of Computers, pages 29-41, Sept. 1993.
8. T. B. Ismail and A. Jerraya. Synthesis Steps and Design Models for Co-Design. IEEE Computer, 28(2):44-52, Feb. 1995.
9. Information technology - Coding of Moving Pictures and Associated Audio for Digital Storage Media up to about 1.5 MBit/s (MPEG). International Standard ISO/IEC IS 11172, 1993.
10. Information processing systems — Open Systems Interconnection — Estelle: A formal description technique based on an extended state transition model. International Standard ISO 9074, 1989.
11. A. Jerraya, M. Aichouchi, E. Berrebi, H. Ding, P. Kission, M. Rahmouni, and P. V. Raghavan. AMICAL: Interactive Architectural Synthesis Based on VHDL. Technical report, INPG/TIMA Grenoble, France, 1994.
12. D. Kreuz and R. Gotzhein. A Compiler for the Parallel Execution of Estelle Specifications. In H. König, editor, Formale Methoden für Verteilte Systeme, pages 161-178. K. G. Saur München, New Providence, London, Paris, 1993.
13. E. Lallet, S. Fischer, and J.-F. Verdier. A New Approach for Distributing Estelle Specifications. In G. von Bochmann, R. Dssouli, and O. Rafiq, editors, 8th International Conference on Formai Description Techniques (FORTE'95), pages 439-448, Montréal, Canada, 1995.
14. R. Plato, T. Held, and H. König. PARES - A Portable Parallel Estelle Compiler. In P. Dembinski and M. Sredniawa, editors, Protocol Specification, Testing an Verification XV, Warsaw, pages 403-418. Chapman & Hall, London, 1995.
15. J.-L. Raffy. Mastering Complexity at Design Level. In AOWSM'95, Portland, USA, June 1995.
16. J.-L. Raffy. Mésures de complexité de specifications écrites en Estelle. In Colloque Francophone sur l'Ingenierie des Protocoles (CFIP'95), Rennes, France, pages 497-516, May 1995. (in French).
17. J.-L. Richard and T. Claes. A Generator of C-Code for Estelle. In M. Diaz, J.-P. Ansart, J.-P. Courtiat, P. Azema, and V. Chari, editors, The Formai Description Technique Estelle, pages 397-420. Elsevier Science Publishers B.V. (North-Holland), Amsterdam, 1989.
18. L. A. Rowe and B. C. Smith. A Continuous Media Player. In P. V. Rangan, editor, Network and Operating System Support for Digital Audio and Video (Third International Workshop, La Jolla, California, USA, November 1992), Lecture Notes in Computer Science 712, pages 376-386. Springer-Verlag, Berlin Heidelberg, 1993.
19. D. P. Sidhu and T. P. Blumer. Semi-automatic Implementation of OSI Protocols. Computer Networks and ISDN Systems, 18:221-238, 1990.
20. R. Sijelmassi and B. Strausser. The PET and DINGO tools for deriving distributed implementations from Estelle. Computer Networks and ISDN Systems, 25(7):841-851, 1993.
21. D. E. Thomas, J. K. Adams, and H. Schmitt. A Model and Methodology for Hardware/Software Codesign. IEEE Design and Test of Computers, pages 6-15, Sept. 1993.
22. F. Vahid, J. Gong, and D. Gajski. A Binary-Constraint Search Algorithm for Minimizing Hardware during H/S Partioning. In Proceedings of EURO DAC'94, pages 214-225, 1994.
23. S. T. Vuong, A. C. Lau, and R. I. Chan. Semiautomatic Implementation of Protocols Using an Estelle-C Compiler. IEEE Transactions on Software Engineering, 14(3):384-393, Mar. 1988.
24. J. Wytrebowicz and S. Budkowski. Communication Protocols Implemented in Hardware: VHDL Generation from Estelle. In J.-M. Berge, O. Levia, and J. Rouillard, editors, Current Issues in Electronic Modeling: Languages for System Abstraction, pages 77-98. Kluwer Academic Publishers, 1995.