Rust-Shyper:面向混合关键系统的高可靠、嵌入式Hypervisor

Presentation汽车智能化开源创新论坛
🕒 ~
  • 王雷
    • 王雷
    • 北京航空航天大学
    • 教授

Attendee Ratings

🤍

针对嵌入式虚拟化面临的安全性、实时性的挑战,介绍了一个支持AArch64和RISC-V架构、Rust编写、面向无人车、机器人等嵌入式场景的Type-1型虚拟机监控器(Rust-Shyper)。其特点是:1.利用Rust语言类型系统和内存安全模型,保证Hypervisor的内存安全;2.利用硬件辅助虚拟化,实现虚拟机间的安全隔离和故障隔离;3.针对性能需求,实现了基于共享内存的通信机制。目前该系统已在https://gitee.com/openeuler/rust_shyper开源。