Skip to main content
SpringerLink
Log in

Oreste : a Reliable Reactive Real-Time Language

  • Conference paper
  • First Online:
Book cover SAFECOMP ’93 (SAFECOMP 1993)

Included in the following conference series:

  • 135 Accesses

Abstract

The behavior during execution of an Oreste program is driven by the application. To perform reliability, this behavior has to be always defined. The failure of an Oreste’s software component execution is either explicitly recovered, either implicitly propagated to the caller of the component. This is performed by a multi-tasking extension of programming by contract, organized panic and/or resumption proposed for the Eiffel sequential language by B. Meyer.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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.

References

  1. ISO /TC 184 / SC 2 / WG 4 / N106 ISO /WD 11513.1 Manipuling Industrial Robots, “Programming Languages for Robots” (PLR) Sept. 91.

    Google Scholar 

  2. B. Meyer, ‘Applying “Design by Contract “, IEEE Computer, pp 40–51, October 1992.

    Google Scholar 

  3. B. Meyer, “Object-Oriented Software Construction”, Prentice Hall, Englewood Cliffs, N.J., 534p., 1988.

    Google Scholar 

  4. Le Langage de programmation ADA, Norme AFNOR NF EN 28652, 1989.

    Google Scholar 

  5. Barbara Liskov, John Guttag, “Abstraction and Specification in Program Development”, MIT Press.

    Google Scholar 

  6. A. Silberschatz, “Port Directed Communication”, The Computer Journal, Vol. 24, n∘1, pp 78–82, 1981.

    Article  Google Scholar 

  7. O.H. Roux, P. Molinaro, “Mécanismes de communication et de synchronisation du langage Temps Reel Oreste”, JJCSIR, Grenoble, France, pp 5–10, 14–16 April 1993.

    Google Scholar 

  8. C.A.R. Hoare, “Communicating Sequential Processes”, Comm. of the ACM, Vol. 21, n∘8, pp 666–677, 1978.

    Article  Google Scholar 

  9. E.W. Dijkstra, “Guarded Commands, Nondeterminacy and Formal Derivation of Programs”, Comm. of the ACM, Vol. 18, n∘8, pp 453–457, 1975.

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Ecole Centrale de Nantes, Université de Nantes Laboratoire d’Automatique de Nantes, URA, 823, Nantes, France

    Pierre Molinaro & Olivier H. Roux

Authors
  1. Pierre Molinaro
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Olivier H. Roux
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Franco-Polish School of New Information and Communication Technology, 60-854, Poznań, Poland

    Janusz Górski

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag London Limited

About this paper

Cite this paper

Molinaro, P., Roux, O.H. (1993). Oreste : a Reliable Reactive Real-Time Language. In: Górski, J. (eds) SAFECOMP ’93. SAFECOMP 1993. Springer, London. https://doi.org/10.1007/978-1-4471-2061-2_30

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-2061-2_30

  • Published:

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-19838-3

  • Online ISBN: 978-1-4471-2061-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation