Proceedings of the 1st workshop on Isolation and integration in embedded systems