A mapping algorithm for computer-assisted exploration in the design of embedded systems

ABSTRACT

We present a technique for automatic exploration of architectural alternatives in the design of complex electronic embedded systems and systems-on-a-chip. The technique transforms the problem into a set of simple model-to-model operations and a mapping algorithm that becomes the core of the entire design process. The mapping algorithm is formulated as an assignment-type problem (ATP), which is, in turn, solved by a straightforward optimization method. The result is a design assistance tool, which is demonstrated through a telecommunication systems example.

REFERENCES

• 1: BAUCHOT, F., DECRAUZAT, S., MARMIGERE, G., MERAKOS, L., AND PASSAS, N. 1996. Mascara: A MAC protocol for wireless ATM. In Proceedings if the Mobile Summit Conference on ACTS (Granada, Spain).
• 2: BOLSENS, I., VAN ROMPAEY, K., AND DE MAN, H. 1994. User requirements for designing complex systems on silicon. In Proceedings of the IEEE Workshop on VLSI Signal Processing VII (La Jolla, CA, Oct. 26-28). IEEE Press, Piscataway, NJ, 63-72.
• 3: BUCK, J., HA, S., LEE,E.A.,AND MESSERSCHMITT, D. G. 1994. Ptolemy: A framework for simulating and prototyping heterogeneous systems. Int. J. Comput. Simul. 4,4.
• 4: Peter Pin-Shan Chen, The entity-relationship model—toward a unified view of data, ACM Transactions on Database Systems (TODS), v.1 n.1, p.9-36, March 1976 [doi>10.1145/320434.320440]
• 5: Frank S. Eory, A Core-Based System-to-Silicon Design Methodology, IEEE Design & Test, v.14 n.4, p.36-41, October 1997 [doi>10.1109/54.632879]
• 6: Rolf Ernst , Jorg Henkel , Thomas Benner, Hardware-Software Cosynthesis for Microcontrollers, IEEE Design & Test, v.10 n.4, p.64-75, October 1993 [doi>10.1109/54.245964]
• 7: ESSER,R.AND NEADELE, M. 1997. Applying an object-oriented Petri net language to heterogeneous systems design. In Proceedings of the Conference on Petri Nets in System Engineering (Hamburg, Germany, Sept.).
• 8: FERLAND,J.A.,HERTZ, A., AND LAVOIE, A. 1996. An object-oriented methodology for solving assignment ype problems with neighborhood search techniques. J. Oper. Res. 44,2 (Mar.-Apr.), 347-359.
• 9: GODWIN, A. N. 1996. Building a semantic description for a data modelling language. Computer J. 39, 4, 275-290.
• 10: R. K. Gupta , C. N. Coelho, Jr. , G. De Micheli, Synthesis and simulation of digital systems containing interacting hardware and software components, Proceedings of the 29th ACM/IEEE conference on Design automation, p.225-230, June 08-12, 1992, Anaheim, California, United States
• 11: Rajesh K. Gupta , Yervant Zorian, Introducing Core-Based System Design, IEEE Design & Test, v.14 n.4, p.15-25, October 1997 [doi>10.1109/54.632877]
• 12: David Harel , Amir Pnueli , Hagi Lachover , Amnon Naamad , Michal Politi , Rivi Sherman , Aharon Shtull-Trauring , Mark Trakhtenbrot, STATEMATE: A Working Environment for the Development of Complex Reactive Systems, IEEE Transactions on Software Engineering, v.16 n.4, p.403-414, April 1990 [doi>10.1109/32.54292]
• 13: HOFSTEDE, A. H. M. 1996. Conceptual data modelling from a categorical perspective. Computer J. 39, 3, 215-231.
• 14: MARIATOS, V. 1998. Hardware software codesign based on object oriented principles. Ph.D. Dissertation. Dept. of Electrical Engineering and Computer Technology, University of Patras, Greece.
• 15: MARIATOS, V., BIRBAS, A., BIRBAS, M., PETRELLIS, N., AND VOROS, N. 1997. Mapping of system specifications on hardware-software architectures. In Proceedings of the Conference on ICVC (Seoul, Korea, Sept.). 238-240.
• 16: E. P. Mariatos , M. K. Birbas , A. N. Birbas , N. Petrellis, Object oriented prototyping at the system level: an image reconstruction application example, Proceedings of the 7th IEEE International Workshop on Rapid System Prototyping (RSP '96), p.90, June 19-21, 1996
• 17: MARIATOS, V., BIRBAS, M., BIRBAS, A., AND PETRELLIS, N. 1996b. Exploring implementation alternatives for system design problems using OO modeling and fuzzy rules. In Proceedings of the Multiconference on CESA (CESA'96, Lille, France, July 9-12).
• 18: Benjamin C. Pierce, Basic category theory for computer scientists, MIT Press, Cambridge, MA, 1991
• 19: RATIONAL. 1998. Unified modelling language for real-time systems. http://www.rational.com.
• 20: James Rumbaugh , Michael Blaha , William Premerlani , Frederick Eddy , William Lorensen, Object-oriented modeling and design, Prentice-Hall, Inc., Upper Saddle River, NJ, 1991
• 21: TSASAKOU, S., VOROS, N., VALDEMARA, C., ARAB, S., MARIATOS, V., BIRBAS, A., AND BIRBAS,M. 1998. A hardware-software codesign methodology for embedded telecommunication systems. In Proceedings of the Conference on Technologies for the Information Society: Development and Opportunities (EMMSEC, Bordeaux, France, Sept.). IOS Press, Amster-dam, The Netherlands, 905-912.
• 22: N. S. Voros , V. Mariatos , M. Birbas , A. Birbas , N. Petrellis , S. Batistatos, Reusable Architecture Templates and Automatic Specification Mapping for the Efficient Implementation of ATM Protocols, Proceedings of the Ninth IEEE International Workshop on Rapid System Prototyping, p.45, June 03-05, 1998
• 23: Wayne Wolf, Object-oriented cosynthesis of distributed embedded systems, ACM Transactions on Design Automation of Electronic Systems (TODAES), v.1 n.3, p.301-314, July 1996 [doi>10.1145/234860.234861]

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.3 SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.2 Design Tools and Techniques
          Subjects: Computer-aided software engineering (CASE)

  I. Computing Methodologies
  I.6 SIMULATION AND MODELING
      I.6.5 Model Development

General Terms:
Design, Experimentation

Keywords:
codesign, embedded system design space exploration, specification mapping