Skip to main content
SpringerLink
Log in

Entwicklung verteilter Realzeitprogramme Eine Übersicht

  • Conference paper
Pearl 93

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

Zusammenfassung

Betrachtet man den Begriff Realzeit im engeren Sinn unterliegen alle Programme Zeitrestriktionen und sind damit Realzeitprogramme. Ein Schachprogramm das viele Stunden oder sogar Tage braucht um einen Zug zu berechnen wird nur von wenigen Benutzern akzeptiert werden, obwohl die errechneten Schachzüge von höchster Qualität sein können. Bei dieser Art von Programmen sind die Auswirkungen von nicht eingehaltenen Zeitbedingungen lediglich ungehaltene Benutzer (weiche Zeitbedingungen), was jedem auch beim Kauf einer Zugfahrkarte oder eines Flugtickets hinlänglich bekannt sein dürfte. Dagegen können nicht eingehaltene Zeitbedingungen bei Avionikprogrammen katastrophale Auswirkungen haben (harte Zeitbedingungen).

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • 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.

Literatur

  1. Agresti W. W. What are the new Paradigms? in Agresti W. W, (Ed.) New Paradigms for Software Development IEEE Computer Society Press, 1986

    Google Scholar 

  2. Andrews G. R., Schneider F. B. Concepts and Notations for Concurrent Programming ACM Computing Surveys, March 1983

    Google Scholar 

  3. Bal H.E., Steiner J. G., Tannenbaum A.S. Programming Languages for Distributed Systems ACM Computing Surveys, 1988

    Google Scholar 

  4. Cameron J. R. An Overview of JSD IEEE Transactions of Software Engineering, February 1986

    Google Scholar 

  5. Charette R. N. Software Engineering Environments McGraw Hill, New York 1986

    Google Scholar 

  6. Couloris G. F., Dollimore J. Distributed Systems, Concepts and Design Addison-Wesley, Workingham, England 1988

    Google Scholar 

  7. DeMarco T. Structured Analysis and System Specification Prentice Hall, Englewood Cliffs, 1979

    Google Scholar 

  8. International Standard Organization, Information Processing Systems — Open System Interconnection-ESTELLE — A Formal Description Technique based on an extended state transition model ISO Draft Proposal 9074

    Google Scholar 

  9. Fleischmann A., et. al. Software Engineering for Distributed Software Springer Verlag, erscheint 1994

    Google Scholar 

  10. Gane C., Sarson T. Structured Systems Analysis: Tools and Techniques Prentice Hall International, New York 1979

    Google Scholar 

  11. Hatley D. J., Pirbhai I. A. Strategies for Real-Time System Specification Dorset House Publishing, New York 1987

    Google Scholar 

  12. Hoare C. A. R. Monitors: An Operating System Structuring Concept Commun.ACM 17, 10 (October 1974)

    Article  Google Scholar 

  13. Hoare C. A. R. Communicating Sequential Processes Prentice/Hall International, New Jersey 1985

    MATH  Google Scholar 

  14. Jackson M. Principles of Program Design Academic Press, London 1975

    Google Scholar 

  15. Lamport L. Specifying Concurrent Program Modules ACM Transactions on Programming Languages and Systems, Vol. 5, No. 2, April 1983

    Google Scholar 

  16. Manna Z., Wolker P. Synthesis of Communicating Processes from Temporal Logic Specifications ACM Transactions on Programming Languages and Systems, January 1984, Vol. 6, No. 1

    Google Scholar 

  17. Milner R. A Calculus of Communicating Systems Lecture Notes in Computer Science 92, Springer Verlag, Heidelberg 1980

    Google Scholar 

  18. Nehmer J. Softwaretechnik für verteilte Systeme Springer Verlag, Heidelberg 1985

    MATH  Google Scholar 

  19. Programmiersprache PEARL (Programming Language PEARL) DIN 66253, 1981

    Google Scholar 

  20. Peterson G.E. Object Oriented Computing, Volume 1: Concepts Volume 2: Implementations IEEE Computer Society Press, New York, 1987

    Google Scholar 

  21. Pressman R.S. Software Engineering, A Practitioner’s Approach McGraw-Hill Book Company, New York 1987 Proceedings Prozeßrechensysteme 88, Stuttgart 1988

    Google Scholar 

  22. SDL-Functional Specification and Descriptio Language CCITT Red Books Volume VI — Fascicle VI. 10 and VI. 11, 1984

    Google Scholar 

  23. Schill AM Heuser L., Mühlhäuser M. Using the Object Oriented Paradigm for Distributed Application Development in P.J. Kühn (Ed.), Kommunikation in verteilten Systemen, Informatik Fachberichte, Springer Verlag, Heidelberg 1989

    Google Scholar 

  24. Shatz S. M., Wang J.-P. Distributed Software Engineering IEEE Computer Society Press, New York 1989

    Google Scholar 

  25. Schill A. Distributed Application Development: Problems and Solutions Proceedings, International Networks and Data Communications Lillehammer, Norway, March 1990

    Google Scholar 

  26. Sloman M., Kramer J. Distributed Systems and Computer Networks Prentice Hall International, Englewood Cliffs 1987

    Google Scholar 

  27. Ward P. T., Mellor S. J. Structured Development for Real-Time Systems Prentice Hall, Inc., Englewood Cliffs 1985

    Google Scholar 

  28. Wegner P. Dimensions of Object Based Language Design OOPSALA. Dimensions of Object Based Language Design OOPSALA ‘87 proceedings, ACM 1987

    Google Scholar 

  29. Yonezawa A., Tokoro M. (Ed.) Object-Oriented Concurrent Programming The MIT Press, Cambridge, Massachusetts 1987

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Digital Equipment GmbH, München, Germany

    Albert Fleischmann

Authors
  1. Albert Fleischmann
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Universität Erlangen-Nürnberg Regionales Rechenzentrum, Martensstraße 1, D-91058, Erlangen, Germany

    Peter Holleczek

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fleischmann, A. (1993). Entwicklung verteilter Realzeitprogramme Eine Übersicht. In: Holleczek, P. (eds) Pearl 93. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-78658-7_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-78658-7_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57473-6

  • Online ISBN: 978-3-642-78658-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation