研究生研究助理2017年8月 - 2024年8月•领导多个研究项目,架构系统解决方案,以增强功能安全性,增强系统安全性以及在网络物理和实时系统系统中提高临时可预测性,重点介绍自动层面和空中汽车。在这里链接了一个介绍研究成就。•通过开发感知单纯形式,在自动型地面车辆中可验证的感知安全性,这是一种系统体系结构,可在操作设计域内促进可验证的障碍物检测和确定性碰撞避免。使用开放式工业模拟框架对安全保证进行了分析和验证。•适应了通风的感知,同时通过紧密整合低级别的控制以动态确认系统的控制功能,而不是假定静态最差的壳,从而改善了其性能。•认识到缺乏上下文意识的指标用于自动驾驶中的对象检测,创建了风险排名召回。该度量差异基于对象的安全性影响。•tobringsecurityAuditingToreal -Timesystems,创建了省略号。在省点的themerentherentpresplicational -timeApplications,Ellipsis优化了实时应用程序的Linux审核。省略号几乎消除了典型操作期间审核事件损失的可能性,并在保留安全性信息的同时大大减少了审核数据量(> 90%)。•引入了一种新的内存类型,内部不可访问,外部可缓存,授权实时应用程序绕过高速缓存相干机制并减轻内存访问延迟可变性,可选择性地用于共享数据,对私人数据没有影响。在Linux内核和GEM5模拟器上引起的原型降低了52%的最差延迟,对性能的影响可忽略不计。•在处理器内核和硬件加速器之间设计了一个基于刮擦板的合作执行模型,在支持灵活的功能的同时,实现了与整体固定功能硬件加速器的类似能量和延迟效率。•帮助设计了针对实际应用程序的安全意识的任务计划,从而最大程度地减少了基于后计划的基于后计划对实时系统的影响。•有助于开发用于对象检测神经网络的输入优先级方案,从而克服了此类解决方案固有的优先级反转。
主要关键词