Skip to main content
SpringerLink
Log in

A formal semantics for a graphical model representation in system design

  • Conference paper
  • First Online:
Computer Aided Systems Theory — EUROCAST '95 (EUROCAST 1995)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1030))

Included in the following conference series:

  • 121 Accesses

Abstract

This paper describes a formal semantics for a graphical model representation in the hardware/software codesign. The approach to the specification and design of heterogeneous hardware/software systems defines a strict sequence of transformations that begins with an implementation-independent specification on the system level using graphical tools. It leads to an implementation description on the register-transfer level using VHDL or C code.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. CCITT: Functional Specification and Description Language (SDL), Recommendation Z.100–Z.104, Blue Book, October 1989.

    Google Scholar 

  2. CCITT: Message Sequence Charts (MSC), Recommendation Z.120, September 1992.

    Google Scholar 

  3. Harel, D.: State Charts: A Visual Formalism for Complex Systems, Science of Computer Programming, 8:231–274, 1987

    Google Scholar 

  4. Kotov, V.E.; Cherkasova, L.A.: Structured Nets, in proc. of MCSF, Springer LNCS 118, 1981

    Google Scholar 

  5. Vahid, F.; Narayan, S.; Gajski, D.D.; SpecCharts: A Language for System Level Synthesis, in Proc. of the IFIP Tenth Internat. Symposium on Computer Hardware Description Languages and their Applications, pages 145–154, April 1991

    Google Scholar 

  6. Buchenrieder, K.; Kahlert, St.; Monjau, D.; Veith, Ch.: A new Model-based Approach to the CoDesign of Heterogeneous systems, in Proc. of the Eurocast'93, Springer LNCS 763, 1994

    Google Scholar 

  7. Kahlert, St.; Knäbchen, J.-U.; Monjau, D.: Design and Analysis of Heterogeneous Systems Using Graphically Oriented Methods: A Case Study, in Proc. of the SASIMI'93, Nara, Japan, Oct. 1993

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Technical University of Chemnitz, 09107, Chemnitz, Germany

    Stefan Kahlert, Thomas Kruse & Dieter Monjau

Authors
  1. Stefan Kahlert
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Thomas Kruse
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Dieter Monjau
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Franz Pichler Roberto Moreno Díaz Rudolf Albrecht

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kahlert, S., Kruse, T., Monjau, D. (1996). A formal semantics for a graphical model representation in system design. In: Pichler, F., Díaz, R.M., Albrecht, R. (eds) Computer Aided Systems Theory — EUROCAST '95. EUROCAST 1995. Lecture Notes in Computer Science, vol 1030. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0034762

Download citation

  • DOI: https://doi.org/10.1007/BFb0034762

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60748-9

  • Online ISBN: 978-3-540-49358-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation