硕士论文，与 Dumarey 联合研发，意大利都灵，由都灵理工大学的教授与 Dumarey 一位高级软件主管共同指导。2026 年 6 月至今。
主要工作
- 基于 Rust 为 Arm Cortex-R52 多核 MCU 设计 EL2 层 Type-1 虚拟化管理程序，目标是为车规功能安全场景提供分区隔离
- 设计静态分区架构：规划让 Guest 原生运行于 EL1，经 HVC 请求 EL2 服务，并结合 MPU、设备所有权与片上防火墙建立隔离；Guest 启动与隔离机制尚未实现
- 使用英飞凌的 svd2pac 从芯片 SVD 描述生成 Rust 外设访问层，并构建片上外设与 eDMA 引擎的类型化模型，带一致性校验模式，模型与芯片描述不一致时直接让构建失败
- 在目标板验证从 ROM 进入 EL2，并完成 I-cache、EL2 MPU、异常向量及计时器寄存器的板上验收；已实现 RAM ECC 初始化、栈建立与 Rust 入口，镜像通过 ELF 检查，待板上验收
- 搭建按 EL1、EL2 与宿主部署工具划分的 Rust SDK；已实现部署配置解析，静态资源分配、跨资源校验与代码生成仍在设计中
- 利用 Claude Code 开发 Rust 命令行工具 tracebridge，通过 TRACE32 Remote API 自动执行 PowerView 启动、烧录、符号加载与 RTT 通信，并以 DAP 代理接入 VS Code 和 RustRover 调试
- 研究面向车规 MCU 可靠性的容错机制，单粒子翻转（SEU）是所考察的故障类型之一。下一阶段计划用芯片的一个核配合 TRACE32 向运行中的分区注入故障，记录 Hypervisor 的检测、隔离与恢复表现