Next Meetup

Reliable operating systems for autonomous vehicles
To secure a seat, please complete your registration through the Eventbrite link: You cannot register through Prof. Gernot Heiser: Modern cars are operating in a challenging cyber-environment, with multiple forms of network connectivity, an increasing integration of infotainment and core control functionality, and increasing consolidation of functions on single ECUs, plus the need for over-the-air software upgrades. Add to this the lack of any security on the CAN bus, and the fact that much of the software on the car is not trustworthy, and it becomes clear that isolation is key: critical functions must be protected from interference by untrusted ones. Firewalls or other approaches from the enterprise IT world are not going to solve the problem, as long as the underlying infrastructure can be attacked to bypass any filtering. Any real solution requires strong, software-enforced isolation between co-located components. In this talk I will present the open-source seL4 operating system microkernel, which has been designed from the ground up for strong isolation. It features mathematical proofs of functional correctness (aka bug-freedom) and isolation properties that go all the way down to the hardware. At the same time, seL4 is designed for real-world use; it is the world’s fastest microkernel in terms of the all-important message-passing performance. I will provide an overview of seL4 and its verification story, and how it can be used to protect critical assets on cars, and thus protect the from attacks, even if parts of the platform are compromised. Dr. Qu Ning: In this talk, Dr. Qu Ning will present Baidu's views in L3/L4/L5 autonomous driving era from the safety side. During the years of development with Apollo project, we have moved from experimental platform to volume production. For example, our partner King Long's mini-bus with Apollo software are planing to ship starting from 2018, and the Cherry L3 ADAS vehicle will start mass production by 2021. Building an automotive grade system is a must for Apollo Platform. However, with greatly increased complexity at both the software and hardware level for autonomous driving, we do not see a matured commercial solution in the market yet. Not to mention even the new standard are still on their way. We will take a deep dive on the challenges we are facing and discuss how we approach this issue with our Apollo software stack. Agenda: 6 PM doors open, demos and refreshments 6:30 pm announcements 6:35 pm formal presentations begin 8:00 pm adjourn 8:30 pm vacate building About Prof. Heiser: Gernot is the microkernel dude, having led the development of various L4 microkernels for over 20 years. With is group he has produced the L4 kernels that have shipped on billions of Qualcomm mobile modem chips, and are shipping on the secure enclave of all recent iOS devices. His team has developed the seL4 microkernel, the world's first OS kernel that is mathematically proved free of implementation bugs, and that was open-sourced in July'14. Gernot is a professor at UNSW and founder and former leader of the Trustworthy Systems group at Data61. He is a Fellow of the ACM, the IEEE and the Australian Academy of Technology and Engineering (ATSE). About Qu Ning: Ning is an OS kernel expert, having led the CarOS team in Baidu IDG to focus on providing the automotive-grade infrastructure for autonomous driving. In 2016, his team developed a deeply customized version of ROS targeting the specific requirements for autonomous driving, which has been released in 2017 on github as part of Apollo Open Autonomous Driving Platform (


250 E Caribbean Drive · Sunnyvale, CA


    Past Meetups (119)

    What we're about

    Public Group

    Northern California has emerged as a hotbed for automotive activity: enthusiasts and practitioners, hobbyists and seasoned industry veterans from both near and far, with all levels of experience, are invited to collaborate on the future of vehicles, transportation, and mobility, and to reflect on the societal and infrastructure implications of intelligent transportation systems. All subjects are of interest: autonomy and self-driving vehicles, safety, fuel-efficiency, innovative enabling applications, vehicle-to-vehicle (V2V), vehicle-to-infrastructure (V2I), connected car, CANBus, OBD2, in-vehicle infotainment (IVI) along with all sorts of vehicles and vehicle aggregates: fleet vehicles, trucks, farming equipment, heavy machinery, marine and aviation applications. Although open source is in our Meetup name anyone involved in business, policy or regulatory aspects of transportation are heartily invited too. Regardless of which community you belong to (OEM, Tier 1, car company, engineer, car hobbyist, IP attorney...) -- please join!

    Members (2,693)

    Photos (560)