An embedded system for safe, secure and reliable execution of high consequence software | IEEE Conference Publication | IEEE Xplore