Tools for embedded  systems