多核处理器架构下基于监控的软件运行时验证方法研究,张剑,胡军,基于监控的软件运行时验证(Monitor-orientedRuntimeVerification:MRV)方法可以有效的提高系统可靠性,但是在传统基于单核处理器架构的嵌入式�