This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Real-Time Euclid: A language for reliable real-time systems
Sept. 1986 (vol. 12 no. 9)
pp. 941-949
Eugene Kligerman, Department of Computer Science, University of Toronto, Toronto, Ont. M5S 1A4, Canada
Alexander D. Stoyenko, Department of Computer Science, University of Toronto, Toronto, Ont. M5S 1A4, Canada
There is a demand for reliable real-time systems. A typical real-time application consists of several processes, each of which has to be completed within a given time frame. Up until recently there has not been enough emphasis on the tools which can be used to produce real-time software with performance and reliability guarantees. In this paper we introduce Real-Time Euclid, a language designed specifically to address reliability and guaranteed schedulability issues in real-time systems. Real-Time Euclid employs exception handlers and import/export lists to provide comprehensive error detection, isolation, and recovery. The philosophy of the language is that every exception detectable by the hardware or the software must have an exception handler clause associated with it. Moreover, the language definition forces every construct in the language to be time- and space-bounded. Consequently, Real-Time Euclid programs can always be analyzed for guaranteed schedulability of their processes. Thus, we feel that Real-Time Euclid is well-suited for writing reliable real-time software.
Index Terms:
Real-time systems,Reactive power,Arrays,Monitoring,Syntactics,Software reliability,system programming languages,Compiler,exception handling,guaranteed response time,real-time systems,run-time system,schedulability,software reliability
Citation:
Eugene Kligerman, Alexander D. Stoyenko, "Real-Time Euclid: A language for reliable real-time systems," IEEE Transactions on Software Engineering, vol. 12, no. 9, pp. 941-949, Sept. 1986, doi:10.1109/TSE.1986.6313049
Usage of this product signifies your acceptance of the Terms of Use.