I. Introduction
The dramatic increase in the processing power of the computing devices has led to a tremendous growth in the request for real-time embedded systems, which are now capable of performing very complex tasks. Their applicability now covers, among other fields, telecommunications (with the smartphones as flagship), data transmission (fax machines, GPS receivers), transportation (cars, airplanes, boats), medicine (life-support and monitoring devices, blood pressure monitors), or entertainment (Xboxes, PSPs, Wii).