一种基于操作的嵌入式裸机系统安全隔离系统

摘要

本发明公开一种基于操作的嵌入式裸机系统安全隔离系统，其包括编译器模块和参考监视器模块。通过开发者划分将嵌入式裸机系统划分为不同的操作，即逻辑上独立的任务，编译器模块使用程序静态分析技术得到每个操作需要访问的资源，包括全局变量、外部设备以及私有外设总线上的特殊寄存器；在运行时，参考监视器模块利用ARMv7‑M架构的MPU硬件特性，限制每个操作能够访问的资源。本发明基于已有硬件，实现高效率的特权隔离和细粒度的资源隔离，可以应用于嵌入式裸机系统并提高其安全性，且对系统的性能影响小。