Spring C extends the C programming language to include constructs such as bounded loops and resource reservations. The compiler analyzes source code to locate blocking points and efficiently decomposes processes into schedulable entities called tasks. The worst case execution time for each task is automatically computed. Programmers can specify deadline and other information needed for real-time computing.
A protoype run-time system for Real-Time Concurrent C (RTCC) has been built as an extension of ATT's Concurrent C. This prototype allows constructs that specify hard real-time computations and provide for various types of guarantee.
Current language and compiler work includes further development of Spring C and developing specifications for fault tolerant real-time systems based on the FERT notation.
Back to the RTS Home Page