Issue No. 09 - Sept. (1986 vol. 12)
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.
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
E. Kligerman and A. D. Stoyenko, "Real-Time Euclid: A language for reliable real-time systems," in IEEE Transactions on Software Engineering, vol. 12, no. , pp. 941-949, 1986.