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).

W10.S1 Opening & Keynote

Session Start
Session End
Speaker
Joseph Sifakis, Verimag Laboratory, France
Session chair
Rolf Ernst, TU Braunschweig, Germany

8:30 - 8:45: Opening of ASD Friday Interactive Day, Introduction of Sponsors

8:45 - 9:30: Keynote: Trustworthy Autonomous Systems Development

Keynote Speaker: Joseph Sifakis, Verimag Laboratory

Session Chair: Rolf Ernst, TU Braunschweig, DE

Abstract: Autonomous systems emerge from the needs to automate existing organizations by progressive replacement of human operators by autonomous agents. Their development raises multi-faceted challenges, which go well beyond the limits of weak AI.

We attempt an analysis of the current state of art focusing on design and validation.   
First, we explain that existing approaches to agent design are unsatisfactory. Traditional model-based approaches are defeated by the complexity of the problem, while solutions based on end-to-end machine learning fail to provide the necessary trustworthiness guarantees. We advocate "hybrid design" solutions that take the best of each approach and seek tradeoffs between trustworthiness and performance. In addition, we argue that traditional case-by-case risk analysis and mitigation techniques are failing to scale, and we discuss the trend away from correctness at design time and toward reliance on runtime assurance techniques. 
Second, we explain that simulation and testing remain the only realistic approach for global validation, and we show how current methods and practices can be transposed to autonomous systems by identifying the technical requirements involved.

We conclude by discussing the factors that will play a decisive role in the acceptance of autonomous systems, and by arguing for the urgent need for new theoretical foundations.