Tagged embedded-software