We are a research group at the Universidad Politécnica de Valencia (Spain) with a long tradition on real-time and embedded systems.

We do research to create solutions.
We do not stop on the ideas.

The list of our academic publications can be found at the main web site of our research group: GII.

Previous research and development results:

• TLSF is the first available dynamic memory allocator that meets hard-real-time requirements. It is the first design and implementation of an O(1) allocator with a very low fragmentation (even better than other general purpose allocators).
• We actively contribute with the RTLinux/GPL open source project; most of the results can be found in the rtportal web site.
• Porting of the GNAT Ada (AdaCORE) runtime to the RTLinux/GPL RTOS.
• PaRTiKle is a small POSIX PSE 51 kernel. It has been designed and implemented to eventually replace the RTLinux/GPL code base.

We participated in several research projects, some of them have not finished yet; just to mention a few ones:

• FRESCOR: Framework for Real-time Embedded Systems based on COntRacts. (European project)
• TECOM: Trusted Embedded Computing. (European project)
• OCERA: Open Components for Embedded Real-time Applications. (European project)
• THREAD: Soporte Integral para Sistemas Empotrados de Tiempo Real Distribuidos y Abiertos. (National project)