Loading [a11y]/accessibility-menu.js
Real-Time Euclid: A language for reliable real-time systems | IEEE Journals & Magazine | IEEE Xplore

Real-Time Euclid: A language for reliable real-time systems


Abstract:

Real-Time Euclid, a language designed specifically to address reliability and guaranteed schedulability issues in real-time systems, is introduced. Real-Time Euclid uses ...Show More

Abstract:

Real-Time Euclid, a language designed specifically to address reliability and guaranteed schedulability issues in real-time systems, is introduced. Real-Time Euclid uses 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, it is felt that Real-Time Euclid is well-suited for writing reliable real-time software.
Published in: IEEE Transactions on Software Engineering ( Volume: SE-12, Issue: 9, September 1986)
Page(s): 941 - 949
Date of Publication: 26 September 2012

ISSN Information:


Contact IEEE to Subscribe