A higher level system communication model for object-oriented specification and design of embedded systems

ABSTRACT

The design starting point for current embedded systems design is getting higher and higher on the abstraction level scale in order to meet the challenge of the increasing design gap. Up till now the state-of-the-art tools and methods have used as a highest abstraction of communication the send-receive over a channel, e.g. as in SDL and COSSAP. We introduce a novel higher level communication mechanism for system-level specification which has features supporting object-oriented descriptions and client-server type communication modelling as in CORBA. The communication primitives have been implemented as extensions to System-C, and simulation experiments have been performed.

REFERENCES

• 1: Daniel D. Gajski , Frank Vahid , Sanjiv Narayan , Jie Gong, Specification and design of embedded systems, Prentice-Hall, Inc., Upper Saddle River, NJ, 1994
• 2: A. Takura and T. Ohta, "Stepwise refinement of communications service specifications for conforming to a functional-model," IEICE Transactions on Communications, vol. E77B, pp. 1322-1331, Nov 1994.
• 3: Bill Lin , Steven Vercauteren, Synthesis of concurrent system interface modules with automatic protocol conversion generation, Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design, p.101-108, November 06-10, 1994, San Jose, California, United States
• 4: M. Nakamura, Y. Kakuda, and T. Kikuno, "On constructing communication protocols from componentbased service specifications," Computer Communications, vol. 19, pp. 1200-1215, Dec 1996.
• 5: S. Vercauteren and B. Lin, "Hardware/software communication and system integration for embedded architectures," Design Automation for Embedded Systems, vol. 2, pp. 359-382, May 1997.
• 6: A. Takura, T. Sera, and T. Ohta, "Protocol synthesis from rule-based communications service specifications," Electronics and Communications in Japan, Part I-Communications, vol. 81, pp. 22-35, Mar 1998.
• 7: J. D. Kleinsmith and D. D. Gajski, "Communication synthesis for reuse," Tech. Rep. ICS 98-06, Department of Information and Computer Science, University of California, Irvine, Feb 1998.
• 8: P. Coste , F. Hessel , Ph. Le Marrec , Z. Sugar , M. Romdhani , R. Suescun , N. Zergainoh , A. A. Jarraya, Multilanguage design of heterogeneous systems, Proceedings of the seventh international workshop on Hardware/software codesign, p.54-58, March 1999, Rome, Italy [doi>10.1145/301177.301206]
• 9: P. Knudsen and J. Madsen, "Integrating communication protocol selectiom with hardware/software codesign," IEEE Transactions on Computer-Aided Design of Integrated Circuits, vol. 18, pp. 1077-1095, Aug 1999.
• 10: International Telecommunication Union, CCITT - Specification and Description Language (SDL), Mar 1993. Recommendation Z.100.
• 11: Wolfgang Glunz , Thomas Kruse , Torsten Rössel , Dieter Monjau, Integrating SDL and VHDL for System-Level Hardware Design, Proceedings of the 11th IFIP WG10.2 International Conference sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC on Computer Hardware Description Languages and their Applications, p.187-204, April 26-28, 1993
• 12: Bran Selic , Garth Gullekson , Paul T. Ward, Real-time object-oriented modeling, John Wiley & Sons, Inc., New York, NY, 1994
• 13: E. A. Lee, "Embedded software|an agenda for research," Tech. Rep. UCB ERL Memorandum M99/63, University of California at Berkeley, Dec 1999.
• 14: E. A. Lee and Y. Xiong, "System-level types for component-based design," Tech. Rep. UCB/ERL M00/8, University of California at Berkeley, Feb 2000.
• 15: Object Management Group, CORBAservices: Common Object Services Specification, Dec 1998. Available at http://www.omg.org/.
• 16: R. Milner, J. Parrow, and D. Walker, "A calculus of mobile processes, part I," Tech. Rep. ECS-LCFS- 89-85, Computer Science Department, University of Edinburgh, Jun 1989.
• 17: R. Milner, J. Parrow, and D. Walker, "A calculus of mobile processes, part II," Tech. Rep. ECS-LCFS- 89-86, Computer Science Department, University of Edinburgh, Jun 1989.
• 18: Synopsys, CoWare, Frontier Design, System-C Version 1.0 User Guide, 2000. Available at http://www.systemc.org/.

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.3 SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS
      Subjects: Real-time and embedded systems

Additional Classification:
  C. Computer Systems Organization

  D. Software
  D.1 PROGRAMMING TECHNIQUES
      D.1.5 Object-oriented Programming

          Nouns: CORBA

  J. Computer Applications
  J.2 PHYSICAL SCIENCES AND ENGINEERING
      Subjects: Electronics

General Terms:
Design, Performance, Theory