上個月，在Apollo美研舉辦了一場以“Reliable operating systems for autonomous vehicle”為主題的Meetup。會上，來自Apollo CarOS團隊的技術主管曲寧和UNSW的Gernot Heiser教授為大家做了精彩的主題分享。

Safety Challenges for Apollo OS

曲寧，主任工程師，CarOS團隊技術主管

在此次Meetup上，曲寧為開發者帶來了主題為“Safety Challenges for Apollo OS”的分享。

他指出，在自動駕駛領域，安全至關重要，但目前市場上并沒有好的解決方案。為此，Apollo提出了解決安全問題的五個方面，其中包括“功能性安全”，這意味著擁有備份和冗余來覆蓋可能出現的系統故障。 Apollo使用基于AI的算法進行深度學習和復雜的流水線處理。Apollo的目標是實時提供“三高”：“高性能、高吞吐量、高可靠性”。

此外，他還講到Apollo車輛在中國進行道路測試時遇到了很多挑戰，尤其是在自行車密集和行人較多的道路，以及城市的不規則交叉路口。今年晚些時候，金龍將推出搭載Apollo的無人小巴將為這類交通狀況帶來一定程度的改善。但這項計劃我們仍在L3的基礎上實現，并配有駕駛員駕駛。

Reliable operating systems for autonomous vehicle

Gernot Heiser，UNSW教授

Gernot Heiser不僅是UNSW的教授，他還是Data61的Trustworthy Systems小組創始人和前任領導，ACM會員，IEEE和澳大利亞技術工程學院（ATSE）的院士。同時，他是微內核專家，領導了各種L4微內核的開發超過20年。在此次Meetup演講中，他指出，我們的安全保障來自于安全的車載系統，因為系統黑客隨時可能讓自動駕駛車輛在關鍵時刻出錯。

當下，由于多種原因，安全問題日益嚴重。幾乎所有的代碼都有漏洞，“自主性增加了復雜性”，尤其涉及到傳感和控制功能部分，這些漏洞會隨著不同的復雜程度而增加。而且現在系統與外界的接口越來越多，很可能導致“攻擊面大大增加”，甚至會出現攻擊者通過蜂窩網絡從遠程侵入。

Heiser強調到，這項工作不應該基于標準的安全措施。目前，他正在研究一種全新的基本方法——seL4分離內核，為關鍵的安全功能提供“strong isolation（強隔離）”。