Time service

The time service provides an efficient way to manage the time on your machine. It is used by the scheduler to scheduler partitions and tasks according to their timing requirements (period, execution time and so on).