深入探索企业技术与卓越工程管理
及时了解数字领导者的最新业务和行业见解
分享职业发展心得,以及我们对社会公正和包容性的见解
针对当今科技领域发展的前沿指南
服务数字读者的出版物
可以将应对不确定性所需的数字能力进行优先级划分的模型
业务主管的A-Z技术指南
聚焦技术引领的商业变革
助力商业的专业洞见
关于战略、设计、工程、技术生涯等方面的专家建议
浏览更多我们的书籍
分析商业和技术最新趋势的精彩对话
探索最新科技热点,深度分析技术与商业
面试准备
了解作为一名Thoughtworker是怎样的体验
正确开启技术生涯
在您所在的区域寻找正在招聘的岗位
订阅我们的月度新闻简报
了解更多我们如何支持员工的职业发展
技术雷达
在软件定义汽车 (SDV) 或其他安全关键场景中,操作系统的实时稳定性至关重要。由于该领域的高准入门槛,少数公司垄断了这一领域,因此像 seL4这样的开源解决方案显得尤为珍贵。seL4 是一个高保障、高性能的操作系统微内核。它使用 形式化验证 方法来“数学上”确保操作系统的行为符合规范。其微内核架构还将核心职责最小化,以确保系统的稳定性。我们已经看到像蔚来汽车 (NIO) 这样的电动汽车公司参与 seL4 生态系统,未来在这一领域可能会有更多的发展。
English | Español | Português | 中文
立即订阅