An Efficient Code Generation Tool for Real-Time Systems∗

Embedded real-time systems are typically reactive systems that are in continuous interaction with their physical environment to which they are connected through sensors and actuators. Due to the intrinsic concurrent nature of the different mechanical, electrical and optical devices in the environment, an embedded real-time system is made of a large number of parallel processes to control them. Beside