";

研究目标：为提升嵌入式操作系统的安全可靠性和实现性能，研究基于RISC-V硬件架构，基于新型系统编程语言Rust开发操作系统内核，对操作系统的安全 (略) 分析与测评，给出操作系统在避免内存缺陷和并发缺陷上的性能指标，形成满足 * 定性能需求的安全操作系统原型。
研究内容：
1、安全操作系统内核实现。面向基于RISC-V的嵌入式系统，以安全可靠为设计目标，完成架构级代码设计与实现 ，以及内核的安全设计与实现，形成安全操作系统内核原型，支持基于Rust std标准库。
2、操作系统安全性分析与测评。在避免内存缺陷和并发缺陷上，比较和评价研制的操作系统和传统操作系统的安全指标。
3、操作系统性能分析与测评。在基于RISC-V的嵌入式系统上，比较和评价研制的操作系统和传统操作系统的性能指标。
主要指标：
1、支持进程管理、内存管理、文件系统相关的 * 个基础系统调用；
2、可以通过操作系统安全funzzing工具syzkaller生成的安全基本测试用例的检查。
本项目采取线下对接方式。

报名联系人：薛老师
联系方式： 点击查看>>

";

研究目标：为提升嵌入式操作系统的安全可靠性和实现性能，研究基于RISC-V硬件架构，基于新型系统编程语言Rust开发操作系统内核，对操作系统的安全 (略) 分析与测评，给出操作系统在避免内存缺陷和并发缺陷上的性能指标，形成满足 * 定性能需求的安全操作系统原型。
研究内容：
1、安全操作系统内核实现。面向基于RISC-V的嵌入式系统，以安全可靠为设计目标，完成架构级代码设计与实现 ，以及内核的安全设计与实现，形成安全操作系统内核原型，支持基于Rust std标准库。
2、操作系统安全性分析与测评。在避免内存缺陷和并发缺陷上，比较和评价研制的操作系统和传统操作系统的安全指标。
3、操作系统性能分析与测评。在基于RISC-V的嵌入式系统上，比较和评价研制的操作系统和传统操作系统的性能指标。
主要指标：
1、支持进程管理、内存管理、文件系统相关的 * 个基础系统调用；
2、可以通过操作系统安全funzzing工具syzkaller生成的安全基本测试用例的检查。
本项目采取线下对接方式。

报名联系人：薛老师
联系方式： 点击查看>>