Design of High-Confidence Embedded Operating System based on Artificial Intelligence and Smart Chips | IEEE Conference Publication | IEEE Xplore