TSL is a high level programming language used to specify the timing of hard real time applications, such as
control applications. TSL is in fact an extension of Giotto. The new features introduced in TSL are:
so called LET tasks, defined in Giotto, were extended to tasks that have an offset and a duration, the offset
specifies when the task will be released and the duration specifies what is the amount of time in which the
task should finish;
there was also defined a new type of task, called floating task, this was introduced to allow the programmer
to specify dependencies between task, which was not possible in Giotto;
the concepts of actuator update and sensor update were also extended, in TSL both actuator and sensor update
have an offset, which is the amount of time from the beginning of the period when the device driver that
updates the sensor or the actuator will be called;
As a case study it was implemented a simulator for Three Tanks System, for which it was implemented a control
algorithem in TSL.