IIES: Isolation and Integration in Embedded Systems