浙江大学控制学院创新创业中心
工控安全技术分享会（第一期）――RTOS的形式化验证
发布日期：2022-02-24 作者：浙江大学 编辑：gkaq 访问量：236
2021年11月10日，为拓宽协会成员知识面，协会特邀请了NESC课题组的孙欢学长为大家带来以“RTOS的形式化验证”为主题的学术分享会。学术分享会旨在为大家介绍全新的学术方向，同时讲解一些实用性工具，以帮助萌新们快速体验科研之旅。
报告人介绍：孙欢，浙江大学网络传感与控制组博士生。在博一期间，他探索了几种形式的验证技术，特别是将依赖担保风格的验证应用到一个流行的实时操作系统的内存管理模块中。
分享会摘要：实时操作系统(RTOS)经常部署在关键系统上，因此需要对实时操作系统进行正式的验证，以保证其可靠性。本演讲提供了形式化方法的背景理论，并证明了依赖保证框架在一个广泛应用的RTOS并发内存管理模块中的实际应用。
版权所有：浙江大学控制学院创新创业中心 地址：浙江省杭州市浙大路38号控制科学与工程学院 310027 您是 1000位访问者