Test different types of threads for POSIX and OSEK architectures
In the new runtime code, new types of threads have been added: timed threads, hybrid threads and aperiodic threads. Because the ATL transformation doesn't manage these threads for POSIX and OSEK architectures yet, they need to be tested.