A new model-based approach to the co-design of heterogeneous systems

  • D. Monjau
  • St. Kahlert
  • K. Buchenrieder
  • Ch. Veith
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 763)


This paper describes an approach to the design of heterogeneous Hardware-Software systems. It defines a strict sequence of transformations that begins with a system specification, and leads to an implementation of the system. The steps in the sequence are defined by system models on decreasing levels of abstraction, and every step in the sequence transforms an input model into an output model. The final output model is equivalent to the system implementation. The objective of our method is to add rigor to the prevailing inexactness in the development of heterogeneous systems by introducing well-defined formal synchronization points — the models — into the design process. The feasibility of our approach has been proven with two examples. Further we discuss the use of existing tools to support our method.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Buch92]
    K. Buchenrieder, St. Kahlert, D. Monjau. Methodik und Werkzeuge für den Entwurf komplexer heterogener Systeme. In: Proceedings der ITG/GME/GI-Fachtagung Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme. Darmstadt. November 1992. In ITG Fachbericht 122. vde-Verlag. Berlin (in German).Google Scholar
  2. [CCITT92]
    CCITT Recommendation Z.100: Specification and Description Language (SDL). Geneva, 1992.Google Scholar
  3. [Dax]
    DAX — User Manual. Siemens AG. Munich, 1991.Google Scholar
  4. [Flet80]
    W. Fletcher. An Engineering Approach to Digital Design. Prentice-Hall. Englewood Cliffs, N.J., 1980.Google Scholar
  5. [Gura89]
    E. Gurari. An Introduction to the Theory of Computation. Computer Science Press. Rockville, 1989.Google Scholar
  6. [Hare86]
    D. Harel. On visual formalisms. Communications of the ACM 31(5):514–530, May 1986.Google Scholar
  7. [Hoar85]
    C.A. Hoare. Communicating Sequential Processes. Prentice Hall. Englewood Cliffs, N.J., 1985.Google Scholar
  8. [Hofm91]
    F. Hofmann. Betriebssysteme: Grundkonzepte und Modellvorstellungen. Leitfäden der Informatik. Teubner Verlag. Stuttgart, 1991 (in German).Google Scholar
  9. [Hopc79]
    J. Hopcroft and J. Ullmann. Introduction to Automata Theory. Languages and Computation. Addison-Wesley, 1979.Google Scholar
  10. [Kahl92]
    St. Kahlert. Systementwurf mit einheitlichen Beschreibungsmitteln für Hard-und Software. Diplomarbeit. Siemens AG, ZFE BT SE 52 / TU Chemnitz, Fachbereich Informatik, September 1992 (in German).Google Scholar
  11. [Klar]
    SIGRAPH-SET-KLAR — Ein Werkzeug zur Aufgabenklärung. Benutzeranleitung. Siemens AG. München, Juni 1991 (in German).Google Scholar
  12. [Mtx]
    Matrixx/SystemBuild — Version Description Document for Version 2.4. Integrated Systems Incorporation. Santa Clara, California, 1991.Google Scholar
  13. [Sd l]
    SIGRAPH-SET-SDL — Werkzeuge für Systementwurf und Implementierung. Benutzeranleitung. Siemens AG, Mai 1988 (in German).Google Scholar
  14. [Seif91]
    M. Seifert. Statemate: a new method for the design of complex systems. Proceedings of the Echtzeit '91 Conference on Real-Time Systems, June 1991 (in German).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • D. Monjau
    • 1
  • St. Kahlert
    • 1
  • K. Buchenrieder
    • 2
  • Ch. Veith
    • 2
  1. 1.TU ChemnitzGermany
  2. 2.Siemens AG MunichGermany

Personalised recommendations