Erweiterte Message Sequence Charts für die Verifikation von Statemate-Entwürfen | SpringerLink
Skip to main content
Springer Nature Link
Log in

Erweiterte Message Sequence Charts für die Verifikation von Statemate-Entwürfen

  • Conference paper
Informatik’99

Part of the book series: Informatik aktuell ((INFORMAT))

  • 86 Accesses

Zusammenfassung

Moderne technische Systeme enthalten in immer stärkerem Maße mikroelektronische Komponenten. Dies sind zumeist nicht speziell für einen Anwendungszweck entworfene Prozessoren, sondern flexibel einsetzbare Standardbausteine, die nur eine gewisse Grundfunktionalität in Hardware mitbringen. Die Anpassung an die eigentliche Aufgabe erfolgt durch Software. Somit entfällt auf die Softwareentwicklung inzwischen ein Großteil der Entwicklungskosten beim Entwurf solcher technischen Systeme.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
JPY 3498
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
JPY 5879
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
JPY 7349
Price includes VAT (Japan)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

Literatur

  1. W. Damm and D. Harel. LSCs: Breathing life into message sequence charts. In FMOODS 99 IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems, 1999.

    Google Scholar 

  2. H. Ehrig, R. Geisler, and M. Klar. DFG-Schwerpunktprogramm ab 1998: Integration von Techniken der Softwarespezifikation fuer ingenieurwissenschaftliche Anwendungen. Informatik Forschung und Entwicklung, 13: 43-46, 1998.

    Google Scholar 

  3. D. Harel and A. Naamad. The STATEMATE semantics of statecharts. Technical Report CS95-31, The Weizmann Institute of Science, Rehovot, 1995.

    Google Scholar 

  4. HP96] David Haret and Michal Politi. Modeling reactive systems with statecharts: The statemate approach. Technical Report CS95-31, The Weizmann Institute of Science, R.ehovot, Israel, 1996.

    Google Scholar 

  5. ITU-TS. ITU-TS Recommendation Z.120: Message Sequence Chart (MSC). ITU-TS, Geneva, October 1996.

    Google Scholar 

  6. Rainer Schlör. Symbolic Timing Diagrams: A Visual Formalism for Specification and Verification of System-level Hardware Designs. PhD thesis, Universität Oldenburg, 1999 (to appear).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fachbereich Informatik Abteilung Rechnerarchitektur, Carl von Ossietzky Universtität Oldenburg, 26111, Oldenburg, Deutschland

    Jochen Klose

Authors
  1. Jochen Klose
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. HNF Heinz Nixdorf MuseumsForum GmbH, Fürstenallee 7, 33102, Paderborn, Deutschland

    Kurt Beiersdörfer

  2. FB Mathematik/Informatik, Universität Paderborn, 33095, Paderborn, Deutschland

    Gregor Engels  & Wilhelm Schäfer  & 

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Klose, J. (1999). Erweiterte Message Sequence Charts für die Verifikation von Statemate-Entwürfen. In: Beiersdörfer, K., Engels, G., Schäfer, W. (eds) Informatik’99. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-01069-3_28

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-01069-3_28

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66450-5

  • Online ISBN: 978-3-662-01069-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics