DATE Save the Date 17 to 19 April 2023

Dear DATE community,

We, the DATE Sponsors Committee (DSC) and the DATE Executive Committee (DEC), are deeply shocked and saddened by the tragedy currently unfolding in Ukraine, and we would like to express our full solidarity with all the people and families affected by the war.

Our thoughts also go out to everyone in Ukraine and Russia, whether they are directly or indirectly affected by the events, and we extend our deep sympathy.

We condemn Russia’s military action in Ukraine, which violates international law. And we call on the different governments to take immediate action to protect everyone in that country, particularly including its civilian population and people affiliated with its universities.

Now more than ever, our DATE community must promote our societal values (justice, freedom, respect, community, and responsibility) and confront this situation collectively and peacefully to end this nonsense war.

DATE Sponsors and Executive Committees.

Kindly note that all times on the virtual conference platform are displayed in the user's time zone.

The time zone for all times mentioned at the DATE website is CET – Central Europe Time (UTC+1).

ASDW05-05 Predictable Perception

Session Start
Session End

 

  • 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