GARTL: a real-time programming language based on multi-version computation

Abstract

The increasing importance of real-time computing systems is widely known and such systems are presently the subject of much research. A particularly attractive approach to the programming of hard real-time systems is the identification of multiple versions of the task to be carried out. If this is done, then the system scheduler used by a real-time system can select the version that gives the most precise results in the time available-the more time available, the more precise the results. This approach to programming hard real-time systems is called multiversion computation. The question of suitable language support for multiversion computation through the description of GARTL, a real-time programming language is explored. Some aspects of the implementation of GARTL are discussed.<>