【预告】网络研讨会｜下一代汽车操作系统微内核seL4：seL4基金会主席谈物理系统安全工程实践_自动驾驶_鉴释