DATE 2021 became a virtual conference due to the worldwide COVID-19 pandemic (click here for more details)

Taking into consideration the continued erratic development of the worldwide COVID-19 pandemic and the accompanying restrictions of worldwide travelling as well as the safety and health of the DATE community, the Organizing Committees decided to host DATE 2021 as a virtual conference in early February 2021. Unfortunately, the current situation does not allow a face-to-face conference in Grenoble, France.

The Organizing Committees are working intensively to create a virtual conference that gives as much of a real conference atmosphere as possible.


ASDW05-05 Predictable Perception

Session Start
Fri, 14:00
Session End
Fri, 14:55


  • Organizers / Chairs: 

    • Samarjit Chakraborty (U North Carolina, Chapel Hill, USA)

    • Petru Eles (Linköping University, SE)

  • Session Abstract:

    Modern autonomous systems - such as autonomous vehicles or robots - consist of two major components: (a) the decision making unit, which is often made up of one or more feedback control loops, and (b) a perception unit that feeds the environmental state to the control unit and is made up of camera, radar and lidar sensors and their associated processing algorithms and infrastructure. While there has been a lot of work on the formal verification of the decision making (or the control) unit, the ultimate correctness of the autonomous system also heavily relies on the behavior of the perception unit. The verification of the correctness of the perception unit is however significantly more challenging and not much progress has been made here. This is because the algorithms used by perception units now increasingly rely on machine learning techniques (like deep neural networks) that run on a complex hardware made up CPU+accelerator platforms. The accelerators are made up of GPUs, TPUs and FPGAs. This combination of algorithmic + implementation platform complexity and heterogeneity currently makes it very difficult to provide either functional or timing correctness guarantees of the perception unit, while both of these guarantees are needed to ensure the correct functioning of the control loop and the overall autonomous system. This is a part of the overall challenge of verifying the correctness of autonomous systems.

  • Speakers:

    • Qing Rao (BMW, Munich, Germany) 

      New Era in Autonomous Driving and the Role of IT - Will Traditional Carmakers Keep Pace?

    • Soheil Samii (General Motors R&D, USA) 

      Dependable sensing system architecture for predictable perception in autonomous vehicles

    • Deepak Shankar (Mirabilis Design, USA) 

      Design Tools for Predictable Hw/Sw Architectures for Autonomous Vehicles

    • Cong Liu (UT Dallas, USA)  

      Towards Timing-Predictable & Robust Autonomy in Autonomous Embedded Systems

    • Hamed Tabkhi (University of North Carolina at Charlotte, USA) 

      Toward AI-in-the-Loop Autonomous Safety System - Algorithmic and Timing Challenges