Advertisement

SAFECOMP ’93 pp 302-310 | Cite as

Oreste : a Reliable Reactive Real-Time Language

  • Pierre Molinaro
  • Olivier H. Roux
Conference paper

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 2.
    B. Meyer, ‘Applying “Design by Contract “, IEEE Computer, pp 40–51, October 1992.Google Scholar
  3. 3.
    B. Meyer, “Object-Oriented Software Construction”, Prentice Hall, Englewood Cliffs, N.J., 534p., 1988.Google Scholar
  4. 4.
    Le Langage de programmation ADA, Norme AFNOR NF EN 28652, 1989.Google Scholar
  5. 5.
    Barbara Liskov, John Guttag, “Abstraction and Specification in Program Development”, MIT Press.Google Scholar
  6. 6.
    A. Silberschatz, “Port Directed Communication”, The Computer Journal, Vol. 24, n∘1, pp 78–82, 1981.CrossRefGoogle Scholar
  7. 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. 8.
    C.A.R. Hoare, “Communicating Sequential Processes”, Comm. of the ACM, Vol. 21, n∘8, pp 666–677, 1978.CrossRefGoogle Scholar
  9. 9.
    E.W. Dijkstra, “Guarded Commands, Nondeterminacy and Formal Derivation of Programs”, Comm. of the ACM, Vol. 18, n∘8, pp 453–457, 1975.MathSciNetCrossRefGoogle Scholar

Copyright information

© Springer-Verlag London Limited 1993

Authors and Affiliations

  • Pierre Molinaro
    • 1
  • Olivier H. Roux
    • 1
  1. 1.Ecole Centrale de NantesUniversité de Nantes Laboratoire d’Automatique de Nantes, URANantesFrance

Personalised recommendations