Device Driver and System Call Isolation in Embedded Devices | IEEE Conference Publication | IEEE Xplore