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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
ISO /TC 184 / SC 2 / WG 4 / N106 ISO /WD 11513.1 Manipuling Industrial Robots, “Programming Languages for Robots” (PLR) Sept. 91.
B. Meyer, ‘Applying “Design by Contract “, IEEE Computer, pp 40–51, October 1992.
B. Meyer, “Object-Oriented Software Construction”, Prentice Hall, Englewood Cliffs, N.J., 534p., 1988.
Le Langage de programmation ADA, Norme AFNOR NF EN 28652, 1989.
Barbara Liskov, John Guttag, “Abstraction and Specification in Program Development”, MIT Press.
A. Silberschatz, “Port Directed Communication”, The Computer Journal, Vol. 24, n∘1, pp 78–82, 1981.
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.
C.A.R. Hoare, “Communicating Sequential Processes”, Comm. of the ACM, Vol. 21, n∘8, pp 666–677, 1978.
E.W. Dijkstra, “Guarded Commands, Nondeterminacy and Formal Derivation of Programs”, Comm. of the ACM, Vol. 18, n∘8, pp 453–457, 1975.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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