Communication Synthesis for Embedded Systems with Global Considerations

ABSTRACT

Designers of distributed embedded systems require communication synthesis to more effectively explore the design space. Communication synthesis creates or instantiates the necessary software and hardware required to allow system components to exchange data. This work examines the problem of mapping a high-level specification to an arbitrary, but fixed architecture that uses particular bus protocols for interprocessor communication. The approach detailed in this paper illustrates that global considerations are necessary to achieve a correct implementation. A communication model is presented that allows for easy retargeting to different bus topologies and protocols. The effectiveness of this approach is demonstrated by mapping a high-level specification to different architectures.

REFERENCES

• 1: [1] SAE 81C90/91 Stand Alone Full CAN Controller, Preliminary Data. Siemens, http://www.siemens.de/Semiconductor/products/ICs/34/pdf/81c90.pdf, 1996.
• 2: CORPORATE Apple Computer Inc., Desiging Cards and Drivers for the MacIntosh Family, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1990
• 3: Pai Chou , Ross Ortega , Gaetano Borriello, Synthesis fo the hardware/software interface in microcontroller-based systems, Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design, p.488-495, November 1992, Santa Clara, California, United States
• 4: Pai Chou , Ross B. Ortega , Gaetano Borriello, Interface co-synthesis techniques for embedded systems, Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design, p.280-287, November 05-09, 1995, San Jose, California, United States
• 5: [5] R. Ernst and T. Benner. Communication, constraints, and user-directives in COSYMA. Technical Report TM CY- 94-2, Technical University of Braunschweig, June 1994.
• 6: Daniel D. Gajski , Frank Vahid , Sanjiv Narayan , Jie Gong, Specification and design of embedded systems, Prentice-Hall, Inc., Upper Saddle River, NJ, 1994
• 7: Michael Gasteier , Manfred Glesner, Bus-Based Communication Synthesis on System-Level, Proceedings of the 9th international symposium on System synthesis, p.65, November 06-08, 1996
• 8: Hermann Kopetz , Andreas Damm , Christian Koza , Marco Mulazzani , Wolfgang Schwabl , Christoph Senft , Ralph Zainlinger, Distributed Fault-Tolerant Real-Time Systems: The Mars Approach, IEEE Micro, v.9 n.1, p.25-40, January 1989 [doi>10.1109/40.16792]
• 9: [9] A. H. Mebane IV, J. R. Schmedake, I- S Chen, and A. P. Kadonaga. Electronic and firmware design of the HP Laser-Jet Drafting Plotter. Hewlett-Packard Journal 43(6): 16- 23, December 1992.
• 10: Bran Selic , Garth Gullekson , Paul T. Ward, Real-time object-oriented modeling, John Wiley & Sons, Inc., New York, NY, 1994
• 11: Michael Teener, A bus on a diet—the serial bus alternative: an introduction to the P1394 high performance serial bus, Proceedings of the thirty-seventh international conference on COMPCON, p.316-321, January 1992, San Francisco, California, United States
• 12: [12] K. Tindell and A. Burns. Guaranteed message latencies for distributed safety-critical hard real-time control networks. Technical Report YCS-94-229, University of York, 1994.
• 13: [13] B. P. Upender and P. J. Koopman Jr. Communication protocols for embedded systems. Embedded Systems Programming , 7(11): 46-58, November 1994.
• 14: Ti-Yen Yen , Wayne Wolf, Communication synthesis for distributed embedded systems, Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design, p.288-294, November 05-09, 1995, San Jose, California, United States
• 15: [15] H. Zeltwanger. An inside look at the fundamentals of CAN. Control Engineering, 42(l), January 1995.

INDEX TERMS

Keywords:
communication synthesis, communication protocols, distributed embedded systems