17th European Dependable Computing Conference
13-16 September 2021
Munich, Germany
Program at a glance
Program
Detailed program below.
All times are Munich local (CEST or UTC+2).
General rule: scientific talks are 15 minutes + 5 minutes discussion
Download the full program
Browse and download the main conference proceedings(IEEE) (username: edccpub21 password: conf21// ), the workshop proceedings for DREAMS, DSOGRI and SERENE (Springer) or for CARS, the Fast Abstracts and Student Forum proceedings (archiv)
| Monday, Sept. 13 2021 | |||
|---|---|---|---|
| 14:00 - 17:30 Workshop CARS Program details |
14:00 - 17:30 Workshop DREAMS Program details |
13:00 - 16:45 Workshop DSOGRI Program details |
14:00 - 17:30 Workshop SERENE Program details |
| start 17:30 Social Networking | |||
| CARS workshop proceedings | DREAMS, DSOGRI, SERENE workshop proceedings | ||
| Tuesday, Sept. 14 2021 | |
|---|---|
| 14:00 - 14:15 | Welcome to EDCC - Jeremie Guiochet, Karama Kanoun, Mario Trapp, Michael Paulitsch |
| 14:15 - 15:00 | Keynote Speech Claus Bahlmann: The Power of AI & CV for Automation in Rail and its Challenges (chair: Mario Trapp) |
| 15:00 - 15:15 | Break |
| 15:15 - 16:15 | Session 1: Distinguished papers(chair: Antonio Casimiro) |
| 16:15 - 16:30 | Break |
| 16:30 - 17:30 | Session 2: Dependability Assessment (chair: Paolo Lollini) |
| 17:30 - 17:45 | Break |
| 17:45 - 18:25 | Session 3: Fast Abstracts (chair: Barbara Gallina) |
| Wednesday, Sept. 15 2021 | |
|---|---|
| 14:00 - 14:45 | Keynote Speech Arnaud Gotlieb: Leveraging AI methods for testing non-testable autonomous systems (chair: Jérémie Guiochet) |
| 14:45 - 15:00 | Break |
| 15:00 - 16:00 | Session 4 Verification (chair: Simon Burton) |
| 16:00 - 16:15 | Break |
| 16:15 - 17:15 | Session 5: Security (chair: Michel Cuckier) |
| 17:15 - 17:45 | Break |
| 17:45 - 18:45 | Munich virtual city tour |
| Thursday, Sept. 16 2021 | |
|---|---|
| 14:00 - 14:45 | Keynote Speech Fabian Hüger: Towards Safe AI for Automated Driving (chair: Mario Trapp) |
| 14:45 - 15:00 | Break |
| 15:00 - 16:00 | Session 6 AI & Dependability (chair: Elena Troubitsyna) |
| 16:00 - 16:15 | Break |
| 16:15 - 17:15 | Session 7: Distributed Systems (chair: Rogério de Lemos) |
| 17:15 - 17:30 | Break |
| 17:30 - 18:10 | Session 8: Student Session (chair: Marcello Cinque) |
| 18:10 - 18:30 | Closing of EDCC 2021. Announcement of EDCC 2022 |
Download the full program
Detailed Program
Monday, September 13th, 2021
CARS Workshop Program
14:00 - 14:10 Workshop Presentation - Rolf Johansson, Jean-Charles Fabre, and Mario Trapp
14:10 - 15:10 Session 1 - Safety Assurance (session chair: Mario Trapp)
- Magnus Gyllenhammar, Carl Bergenhem and Fredrik Warg
ADS Safety Assurance – Future Directions - Stefan Kaalen, Mattias Nyberg and Olle Mattsson
Using State Transition Diagrams for Safety Quantification within the Automotive Industry - Rolf Johansson and Håkan Sivencrona
Developing SEooC – Original Concepts and Implications when Extending to ADS
15:10 - 15:15 Break
15:15 - 16:15 Session 2 - Security and Safety (session chair: Rolf Johansson)
- Maria Assunta Cappelli and Giovanna Di Marzo Serugendo
A semantic-based approach to analyze the link between security and safety for Internet of Vehicle (IoV) and Autonomous Vehicles (AVs) - Priyadarshini, Simon Greiner, Maike Massierer and Oum-El-Kheir Aktouf
A Method for Identifying Inconsistencies between Functional Safety and Cybersecurity of Autonomous Vehicles - Lorenzo Rosa, Sagar Jha, Ken Birman
DerechoDDS: Efficiently leveraging RDMA for fast and consistent data distribution
16:15 - 16:20 Break
16:20 - 17:20 Session 3 - Safe Autonomous Driving (session chair: Jean-Charles Fabre)
- Florian Worter, Andreas Kreutz, Aniket Salvi, Marc Dreiser and Gereon Weiß
Enhanced System Awareness as Basis for Resilience of Autonomous Vehicles - Magnus Gyllenhammar, Fredrik Sandblom, Mattias Brännström, Stig Ursing, Rolf Johansson and
Fredrik Warg
Minimal Risk Condition for Safety Assurance of Automated Driving Systems - Joao-Vitor Zacchi and Mario Trapp
Towards Collaborative Perception in Automated Driving: Combining Vehicle and Infrastructure Perspectives
17:20 - 17:30 Wrap-up & closing remarks - Rolf Johansson, Jean-Charles Fabre, and Mario Trapp
start 17:30 - Social Networking
DREAMS Workshop Program
14:00 - 14:10 Introduction to DREAMS Workshop
14:10 - 14:45 Keynotes
- Rasmus Adler
Artificial Morality in Dynamic Risk Management
14:45 - 15:00 Break
15:00 - 16:00 Session 1 - Risk Assessment & Modular Safety Cases (session chair: Rasmus Adler)
- Jan Reich, Marc Wellstein, Ioannis Sorokos, Fabian Oboril, Kay-Ulrich Scholl
Towards a Software Component to Perform Situation-Aware Dynamic Risk Assessment for Autonomous Vehicles - Carsten Thomas, Elham Mirzaei, Björn Wudka, Lennart Siefke, Volker Sommer
Service-Oriented Reconfiguration in Systems of Systems Assured by Dynamic Modular Safety Cases - Marta Grobelna
Behavior Prediction of Cyber-Physical Systems for Dynamic Risk Assessment
16:00 - 16:15 Break
16:15 - 17:00 Session 2 - Cloud & AI (session chair: Rasmus Adler)
- João Tomás, André Bento, João Soares, Luís Ribeiro, António Ferreira, Rita Carreira, Filipe Araujo, Raul Barbosa
Autonomic service operation for cloud applications: Safe actuation and risk management - Prajit T Rajendran, Agnes Delaborde, Huascar Espinoza and Chokri Mraidha
Evaluation of Human-in-the-Loop Learning based Autonomous Systems
17:00 - 17:30 Wrap-Up
start 17:30 - Social Networking
DSOGRI Workshop Program
13:00 - 13:10 Welcome and Introduction of Workshop - Rasmus Olsen
13:10 - 13:50 Keynote (session chair: Walter Schaffer)
- Walter Schaffer, Salzburg Netz GmbH
Digital Technologies for the Electricity Distribution Grid - Status and Evolution Paths
13:50 - 14:40 Session 1 (session chair: Nicola Nostro)
- Kamal Shahid, Rasmus Olsen, Rolf Kirk
Field Test Validation of Low Voltage Grid Applications in a Danish Setting - Christine Schäler, Kamal Shahid and Rasmus Løvenstein Olsen
Reducing the Time to Diagnose Outages in Low Voltage Distribution Grids - Christine Schäler, Klaus Strasser, Robert Damböck, Hans-Peter Schwefel
Increased renewable hosting capacity of a real low-voltage grid based on continuous measurements -- Results from an Actual PV Connection Request - Q&A and discussions (15 minutes)
14:40 - 15:00 Break
15:00 - 15:20 Invited Talk (session chair: Rasmus Olsen)
- Nicole Diewald (Fronius International GmbH)
Challenges and opportunities of digital technologies in a German regional distribution grid
15:20 - 16:20 Session 2 (session chair: Rasmus Olsen)
- Yonghao Gui, Hans-Peter Schwefel, Jan Bendtsen, Jakob Stoustrup
Power Loss Reduction in Low-voltage Distribution Grids via Coordinated Reactive Power Management of PV Inverters - Giovanni Paolo Sellitto, Tanja Pavleska, Massimiliano Masi, Helder Aranha
Enabling a Zero Trust Architecture in Smart Grids through a Digital Twin - Christine Schäler, Serge Foko Fotso, Domagoj Drenjanac, Juan Felipe Chaves, Markus Duchon
An ICT System To Assist Earth Fault Localization - Juan Felipe Chaves and Markus Duchon
Signature Generation Using Parametrized Grid Models for Fault Localization in Simulink Called from a Web Rest API
16:20 - 16:35 Q&A and discussions (Invited Talk + Session 2) - Rasmus Olsen
16:35 - 16:45 Closing remarks - Rasmus Olsen
start 17:30 - Social Networking
SERENE Workshop Program
14:00 - 14:10 SERENE Workshop Presentation - Amleto Di Salle and Amel Bennaceur
14:10 - 15:00 Keynote Presentation
- Prof. Bashar Nuseibeh
Stories of socio-technical resilience
15:00 - 15:15 Break
15:15 - 17:30 Workshop Presentation
15:15 - 15:55 Session 1 - Resilient Cloud (session chair: Amleto Di Salle)
- Jacopo Soldani, Antonio Brogi
Automated Generation of Configurable Cloud-Native Chaos Testbeds - Szilárd Bozóki, Imre Kocsis, András Pataricza, Benedek Kovacs, Peter Suskovics
The impact of rare container restarts on uninterrupted Kubernetes operations
15:55 - 16:15 Break
16:15 - 17:15 Session 2 - Resilience Architectures and Applications (session chair: Amel Bennaceur)
- Farid Edrisi, Diego Perez-Palacin, Mauro Caporuscio, Margrethe Hallberg, Anton Johannesson, Claudia Kopf, Johanna Sigvardsson
EA Blueprint: An Architectural Pattern for Resilient Digital Twin of the Organization - Mohammed El Amin Tebib, Pascal André, Oum-El-Kheir Aktouf, Mariem Graa
Assisting Developers in Preventing Permissions Related Security Issues in Android Applications - Matthew Banton, Juliana Bowles, Agastya Silvina, Thais Webber
Design of a Trustworthy and Resilient Data Sharing Platform for Healthcare Provision
17:15 - 17:30 Wrap-Up
start 17:30 - Social Networking
Tuesday, September 14th, 2021
14:00 - 14:15 Welcome to EDCC 2021 - Jeremie Guiochet, Karama Kanoun, Michael Paulitsch, Mario Trapp (session chair: Michael Paulitsch)
14:15 - 15:00 Keynote Speaker 1 (session chair: Mario Trapp)
- Claus Bahlmann
"The Power of AI & CV for Automation in Rail and its Challenges"
15:00 - 15:15 Break
15:15 - 16:15 Session 1 - Distinguished Papers (session chair: Antonio Casimiro)
- José D'Abruzzo Pereira, João R Campos and Marco Vieira
"Machine Learning to Combine Static Analysis Alerts with Software Metrics to Detect Security Vulnerabilities: An Empirical Study" - Marta Grobelna, Joao-Vitor Zacchi, Philipp Schleiß and Simon Burton
"Dynamic Risk Management for Safely Automating Connected Driving Maneuvers" - Marcello Cinque, Raffaele Della Corte and Roberto Ruggiero
"Preventing timing failures in mixed-criticality clouds with dynamic real-time containers"
16:15 - 16:30 Break
16:30 - 17:30 Session 2 - Dependability Assessment (session chair: Paolo Lollini)
- Jacopo Parri, Samuele Sampietro and Enrico Vicario
"FaultFlow: a tool supporting an MDE approach for Timed Failure Logic Analysis" - Dániel Szekeres, Kristóf Marussy and Istvan Majzik
"Tensor-based reliability analysis of complex fault trees" - Jomar Domingos, Raul Barbosa and Henrique Madeira
"Why is it so hard to predict computer systems failures?"
17:30 - 17:45 Break
17:45 - 18:25 Session 3 - Fast Abstracts (session chair: Barbara Gallina) - papers available on arxiv.org
- Koichi Bando, Kenji Tanaka
"Attempt to Predict Failure Case Classification in a Failure Database by using Neural Network Models" - Abdul Rahim Saleh, Gihad Al-Nemera, Saif Al-Otaibi, Rashid Tahir, Mohammed Alkhatib
"Making Honey Files Sweeter: SentryFS - A Service-Oriented Ransomware Defense Solution"
Wednesday, September 15th, 2021
14:00 - 14:45 Keynote Speaker 2 (session chair: Jérémie Guiochet)
- Arnaud Gotlieb
"Leveraging AI methods for testing non-testable autonomous systems"
14:45 - 15:00 Break
15:00 - 16:00 Session 4 - Verification (session chair: Simon Burton)
- Mehdi Maleki and Behrooz Sangchoolie
"SUFI: A Simulation-based Fault Injection Tool for Safety Evaluation of Advanced Driver Assistance Systems Modelled in SUMO" - Daniel Loche, Alexis Generes, Michaël Lauer and Jean-Charles Fabre
"Run-time Monitoring and Control for Temporal Fault Prevention in Mixed-criticality Systems" - Andreas Schmidt, Jan Reich and Ioannis Sorokos
"Live in ConSerts: Model-Driven Runtime Safety Assurance on Microcontrollers, Edge, and Cloud"
16:00 - 16:15 Break
16:15 - 17:15 Session 5 - Security (session chair: Michel Cukier)
- David Ferreira, João Paulo and Miguel Matos
"ATOCS - Automatic Configuration of Secure Databases" - Simona Bernardi, Raúl Javierre, José Merseguer and Jose Ignacio Requeno
"Detectors of Smart Grid Integrity Attacks: An Experimental Assessment" - Ricardo Czekster and Charles Morisset
"BDMPathfinder: a tool for exploring attack paths in models defined by Boolean logic Driven Markov Processes"
17:15 - 17:45 Break
17:45 - 18:45 Munich virtual city tour Link
Thursday, September 16th, 2021
14:00 - 14:45 Keynote Speaker 3 (session chair: Mario Trapp)
- Fabian Hüger
"Towards Safe AI for Automated Driving"
14:45 - 15:00 Break
15:00 - 16:00 Session 6 - AI & Dependability (session chair: Elena Troubitsyna)
- Nádia Medeiros, Naghmeh Ivaki, Pedro Nunes Da Costa and Marco Vieira
"An Empirical Study on Software Metrics and Machine Learning to Identify Untrustworthy Code" - Michael Kläs, Rasmus Adler, Ioannis Sorokos, Lisa Joeckel and Jan Reich
"Handling Uncertainties of Data-Driven Models in Compliance with Safety Constraints for Autonomous Behaviour" - Ahmad Adee, Roman Gansch and Peter Liggesmeyer
"Systematic Modeling Approach for Environmental Perception Limitations in Automated Driving"
16:00 - 16:15 Break
16:15 - 17:15 Session 7 - Distributed Systems (session chair: Rogério de Lemos)
- Oskar Lundström, Michel Raynal and Elad Michael Schiller
"Self-stabilizing Multivalued Consensus in Asynchronous Crash-prone Systems" - Laura Lawniczak and Tobias Distler
"Stream-based State-Machine Replication" - Michael Conard and Ali Ebnenasir
"A Practical Self-Stabilizing Leader Election for Networks of Resource-Constrained IoT Devices"
17:15 - 17:30 Break
17:30 - 18:10 Session 8 - Student Session (session chair: Marcello Cinque) - papers available on arxiv.org
- Muhammad Rusyadi Ramli, Fredrik Asplund, and Martin Toerngren
"Towards Reference Architecture for Trustworthy Collaborative Cyber-Physical Systems: Reference Architecture as Boundary Objects" - Richárd Szabó and Vörös András
"Towards formally analyzed Cyber-Physical Systems" - Nelson Makau Mutua and Petr Matousek
"Outlier Detection in Smart Grid Communication" - Anamta Khan
"Risk Assessment, Prediction, and Avoidance of Collision in Autonomous Drones"
18:10 - 18:30 Closing Session - EDCC 2022 Simona Bernardi, Karama Kanoun, Michael Paulitsch and Mario Trapp