Program representation and translation for predictable real-time systems
- 9 December 2002
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
A basic approach to the problem of program translation for systems using explicit plan scheduling is described. One of the goals is to establish a source language, Spring-C, that can serve as a target for many languages. The author discusses a method for deriving behavioral predictions while translating between the programming and run-time representations used by the Spring system. A graph representation of the program is derived from the intermediate representation the compiler uses to emit code. This graph is then reduced and analyzed to make behavioral predictions. The author presents the basic translation method and gives examples of how it translates programming language constructs for critical sections and synchronous communication.Keywords
This publication has 13 references indexed in Scilit:
- Real-time synchronization protocols for multiprocessorsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Polynomial-time transformations and schedulability analysis of parallel real-time programs with restricted resource contentionReal-Time Systems, 1992
- Experiments with a program timing tool based on source-level timing schemaComputer, 1991
- Building flexible real-time systems using the Flex languageComputer, 1991
- The Spring kernel: a new paradigm for real-time systemsIEEE Software, 1991
- Efficient scheduling algorithms for real-time multiprocessor systemsIEEE Transactions on Parallel and Distributed Systems, 1990
- Object-oriented real-time language design: constructs for timing constraintsPublished by Association for Computing Machinery (ACM) ,1990
- Language support for the Maruti real-time systemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1990
- Aperiodic task scheduling for Hard-Real-Time systemsReal-Time Systems, 1989
- Real-Time Euclid: A language for reliable real-time systemsIEEE Transactions on Software Engineering, 1986