Welcome to the HiLeS2 Project

This space was created to share the HiLeS Group research information. The HiLeS Gruop  works on different research lines arround he desing of heterogeneous embedded systems, specifically in hardware-only systems.. We focus in the use of the HiLeS formalism and in the development of tools that aid system design. In this site you can find:

• Information about the HiLeS formalism
• Information about system design methodology based on the HiLeS formalism
• Research lines
• Tools developed by the group
• Published papers