SDL is implemented as a component of the overall Spring system and is also used as an aid in linking and loading the system. This allows designers to express application-specific reliability and performance requirements. Spring C 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.
CNR in Pisa, Italy and York, Univ., England. Enhancing both the Spring scheduling simulator and the RADEx simulator top the list of current work in this area.