A Fast and Secure Pipelined Barrel Processor for Safety-Critical Applications for Real-Time Operating Systems | IEEE Conference Publication | IEEE Xplore