16th European Dependable Computing Conference
7-10 September 2020
Munich, Germany

Program at a glance

Monday, Sept. 7, 2020 - At ON24 - All times are CEST
9:00 - 9:10	Workshop Presentation AI4RAILS		Workshop Presentation DSOGRI
9:10 - 10:10	AI4RAILS: Keynote 1		DSOGRI: Keynote 1
10:10 - 10:15	Break		Break
10:15 - 11:15	AI4RAILS: Session 1		DSOGRI: Session 1
11:15 - 11:20	Break		Break
11:20 - 12:20	AI4RAILS: Session 2		DSOGRI: Keynote 2
12:20 - 12:25	Break		Wrap-Up
12:25 - 13:25	AI4RAILS: Tutorial 1
13:30 - 14:30	Long Break
14:30 - 14:40	Restarting	Workshop Presentation DREAMS		Workshop Presentation SERENE
14:40 - 15:40	AI4RAILS: Keynote 2	DREAMS: Keynotes		SERENE: Keynote 1
15:40 - 15:45	Break	Break		Break
15:45 - 16:45	AI4RAILS: Session 3	DREAMS: Session 1		SERENE: Session 1
16:45 - 16:50	Break	Break		Break
16:50 - 17:50	AI4RAILS: Session 4	DREAMS: Session 2		SERENE: Session 2
17:50 - 17:55	Break	Wrap-Up		Wrap-Up
17:55 - 18:55	AI4RAILS: Tutorial 2
18:55 - 19:00	Wrap-Up

Monday, Sept. 7, 2020 - At ON24 - All times are CEST +6
10:00 - 10:15	Workshop Presentation TAIWAN-DCC
10:15 - 11:15	TAIWAN-DCC: Session 1
11:15 - 11:20	Break
11:20 - 12:20	TAIWAN-DCC: Session 2
12:20 - 12:25	Break
12:25 - 13:25	TAIWAN-DCC: Session 3
13:30 - 14:30	Long Break
14:30 - 14:40	Restarting
14:40 - 15:40	TAIWAN-DCC: Session 4
15:40 - 15:45	Break
15:45 - 16:45	TAIWAN-DCC: Session 5
16:45 - 16:50	Break
16:50 - 17:50	TAIWAN-DCC: Session 6
17:50 - 18:00	Wrap-Up

Tuesday, Sept. 8 2020
14:00 - 14:10	Welcome to EDCC - Elena Troubitsyna, Karama Kanoun, Mario Trapp, Michael Paulitsch
14:10 - 15:25	Session 1 Distinguished papers (chair: Felicita Di Giandomenico)
15:25 - 15:50	Break
15:50 - 16:30	Keynote Speech Ignacio Alvarez: Towards Universal Safety Guarantees of Decision Making in Automated Vehicles (chair: Michael Paulitsch)
16:30 - 16:45	Break
16:45 - 17:45	Session 2: Fault-tolerant computing (chair: Marco Viera)

Wednesday, Sept. 9 2020
14:00 - 14:40	Keynote Speech Peter Schicht: Challenges for Artificial Intelligence in Automated Driving (chair: Elena Troubitsyna)
14:40 - 15:00	Break
15:00 - 16:10	Session 3 Safety-critical systems (chair: Elena Lisova)
16:10 - 16:30	Break
16:30 - 17:50	Session 4: Distributed systems (chair: Elena Troubitsyna)

Thursday, Sept. 10, 2020
14:00 - 14:40	Keynote Speech Martin Rothfelder: Public transport: Challenges and Opportunities for Dependability (chair: Mario Trapp)
14:40 - 15:00	Break
15:00 - 16:00	Session 5 Security engineering (chair: Irum Rauf)
16:00 - 16:15	Break
16:15 - 17:30	Session 6: Modelling dependable systems (chair: Elena Troubitsyna)
17:30 - 17:45	Closing of EDCC 2020. Announcement of EDCC 2021

Download the full program

Detailed Program

---

Monday, Sept. 7, 2020

AI4RAILS Workshop Program

9:00 - 9:10 Workshop Presentation

9:10 - 10:10 Keynote 1

• Jens Braband
  Machine Learning: A safety assessor's view

10:10 - 10:15 Break

10:15 - 11:15 Session 1 - AI for Railway Safety & Security (part I)

• J. F. Boulineau
  Safe recognition A.I. of a railway signal by on-board camera
• T. Marteau, S. Afanou, D. Sodoyer, S. Ambellouis, F. Boukour
  Audio Events Detection in Noisy Embedded Railway Environments

11:15 - 11:20 Break

11:20 - 12:20 Session 2 - AI for Railway Safety & Security (part II)

• A. Chernov, M. Butakova, A. Guda, P. Shevchuk
  Development of Intelligent Obstacle Detection System on Railway Tracks for Yard Locomotives using CNN
• D. Ristić-Durrant, M. A. Haseeb, M. Franke, M. Banić, M. Simonović, D. Stamenković
  Artificial intelligence for obstacle detection in railways: Project SMART and beyond

12:20 - 12:25 Break

12:25 - 13:25 Tutorial (part I)

• Stefano Olivieri and Alessio Conte, the MathWorks
  Machine Learning with Matlab & Simulink

13:25 - 13:30 Wrap-Up (Morning)

13:30 - 14:30 Long Break

14:30 - 14:40 Restarting

14:40 - 15:40 Keynote 2

• Giorgio Travaini
  Shift2Rail, from a Test Bed for AI to Delivering System Transformation

15:40 - 15:45 Break

15:45 - 16:45 Session 3 - AI for Railway Asset Management & Maintenance

• R. Gasparini, S. Pini, G. Borghi, G. Scaglione, S. Calderara, E. Fedeli, R. Cucchiara
  Anomaly Detection for Vision-based Railway Inspection
• R. Nappi, V. Striano, G. Cutrera, A. Vigliotti, G. Franzè
  Rolling stocks: a machine learning predictive maintenance architecture
• J. Niebling, B. Baasch, A. Kruspe
  Analysis of Railway Track Irregularities with Convolutional Autoencoders and Clustering Algorithms

16:45 - 16:50 Break

16:50 - 17:50 Session 4 - AI for Railway Logistics and Optimization

• R. Marmo
  UIC Code Recognition using Computer Vision and LSTM Networks
• W. J. Lee, H. Jamshidi, D. M. Roijers
  Deep Reinforcement Learning for Solving Train Unit Shunting Problem with Interval Timing

17:50 - 17:55 Break

17:55 - 18:55 Tutorial (part II)

• Stefano Olivieri and Alessio Conte, the MathWorks
  Machine Learning with Matlab & Simulink

18:55 - 19:00 Wrap-Up

DREAMS Workshop Program

14:30 - 14:40 Workshop Presentation

14:40 - 15:40 Keynotes

• Phil Kopmann
  Run-Time Monitoring of Safety Performance Indicators (SPIs) for Self-Driving Cars
• Detlev Richter
  Requirements for a digital representation – safe detection of new hazards

15:40 - 15:45 Break

15:45 - 16:45 Session 1 - Workshop paper presentation

• E. Mirzaei, C. Thomas, M. Conrad
  Safety Cases for Adaptive Systems of Systems: State of the Art and Current Challenges
• M.A. Javed, F. Ul Muram, A. Fattouh, S. Punnekkat
  Enforcing Geofences for Managing Automated Transportation Risks in Production Sites

16:45 - 16:50 Break

16:50 - 17:50 Session 2 - Invited talks

• M. Woon
  Mathematical Risk Model for assuring functional safety in autonomous vehicles
• G.J. Pai
  Concepts of Dynamic Assurance for Trusted Autonomy

17:50 - 17:55 Wrap-Up

DSOGRI Workshop Program

9:00 - 9:10 Workshop Presentation

9:10 - 10:10 Keynote 1

• Giovanna Dondossola
  A cyber resilent framework for DER data exchanges

10:10 - 10:15 Break

10:15 - 11:15 Session 1

• T. Pavleska, H. Aranha, M. Masi, G.P. Sellitto
  Drafting a Cybersecurity Framework pro le for Smart Grids in EU: a goal-based methodology
• S. Srinivasa, R.L. Olsen, J.M. Pedersen, E. Vasilomanolakis
  Resilient Honeypots for Operational Technology: Position Paper
• M.L. Itria, E. Schiavone, N. Nostro
  Leveraging Complex Event Processing and SNMP for Anomaly Detection in Smart Grids

11:15 - 11:20 Break

11:20 - 12:20 Keynote 2

• Karsten Handrup
  Dependable solutions for intelligent electricity distribution grids

12:20 - 12:25 Wrap-Up

SERENE Workshop Program

14:30 - 14:40 Workshop Presentation

14:40 - 15:40 Keynote 1

• Peter Gorm Larsen
  The Future of Model-Based Design for Dependable Cyber-Physical Systems

15:40 - 15:45 Break

15:45 - 16:45 Session 1 - Tools and Architectures for Resilient Systems

• K. Keefe, P. Lollini, F. Moncini, L. Montecchi
  An Eclipse-Based Editor for SAN Templates
• C. Bergenhem, M. Majdandzic, S. Ursing
  Concepts and Risk Analysis for a Cooperative and Automated Highway Platooning System

16:45 - 16:50 Break

16:50 - 17:50 Session 2 - Resilient cloud services

• A. Gorbenko, A. Romanovsky, O. Tarasyuk
  Interplaying Cassandra NoSQL Consistency and Performance: a Benchmarking Approach
• S. Bozóki, I. Kocsis, B. Kovács, A. Pataricza, D. Pethő, P. Suskovics, J. Szalontai
  Application of Extreme Value Analysis for Characterizing the Execution Time of Resilience Supporting Mechanisms in Kubernetes

17:50 - 17:55 Wrap-Up

TAIWAN-DCC Workshop Program

10:00 - 10:15 Workshop Presentation

10:15 - 11:15 Session 1

• Tsung-Han Lee, Ya-Shu Chan, Lin-Huang Chang
  The MOS-based Handover Mechanism for Video Conference Services in LTE Networks
• Ching Yeh, Lin-Huang Chang, Tsung-Han Lee
  A Multi-Path TCP Traffic control in LTE-Wifi Heterogeneous Network Using Software Defined Network
• Tsung-Han Lee, Guan-Yi Jiang, Lin-Huang Chang
  The Dynamic Resource Allocation using Network Slicing for 5G Time-Sensitive Services
• Tsung-Han Lee, Ying-Chian Cheng, Lin-Huang Chang
  A SDN-based Dynamic Network slicing for Next Generation Mobile Networks

11:15 - 11:20 Break

11:20 - 12:20 Session 2

• Shu-Jun Li, Yung-Fa Huang, Chuan-Bi Lin, Jong-Shin Chen
  An Efficient SDN-Based Disconnection Mechanism for Mitigating TCP Malicious Attacks
• Chuan-Pin Lu, Jyun-Jie Chuang, Po-Yu Chen, Hong-Bo Chen
  Development of Cell Nucleus Image Detection Device Based on Edge Computing and Convolutional Neural Network
• Wen-Chung Tsai, Tzu-Hsuan Tsai, Guang-Hao Xiao
  An Implementation of One-Time Password Pad Process for IoT Security Enhancement
• Jianwei Li, Hong-Ming Shih
  The Implement of Web of Things Platform with Bluetooth Low Energy Beacon

12:20 - 12:25 Break

12:25 - 13:25 Session 3

• Chia-Chi Chang, Yen-Ting Chiu, Yung-Hung Hsu
  A Low-Cost Battery Simulator
• Muhammad Fahad Raza
  Comparative analysis of classification algorithm on Netflix dataset using KNIME
• Chin-En Yen, Ing-Chau Chang
  Nutritional Education and Promotion Healthy Eating Behaviors of Preschool Children through Computer Games
• Natasha Ali
  Analysis of classifier on Spam SMS Detection Using Rapid miner

13:25 - 13:30 Wrap-Up (Morning)

13:30 - 14:30 Long Break

14:30 - 14:40 Restarting

14:40 - 15:40 Session 4

• Huai-Yi Huang, Chi-Yueh Hsu, Yung-Fa Huang, Chuan-Bi Lin, Jong-Shin Chen
  Research on the LSTM Model Based Action Recognition with Judo
• Shu-Ching Wang, Wei-Ling Lin, Chun-Hung Hsieh, Mao-Lun Chiang, Tung-Shou Chen
  Improve the User-friendliness of Agricultural Internet of Things with Smart Voice Control System
• Wei-Kai Kuan, Chuan-Bi Lin, Yung-Fa Huang, Jong-Shin Chen
  Research on Fall Detection Based on OpenPose Skeleton and LSTM Model
• Shu-Chiang Chung, Wang-Yi Sun, Hsiu-Chuan Kuo
  Face Recognition System Based on CNN Building EfficientNet Neural Network

15:40 - 15:45 Break

15:45 - 16:45 Session 5

• Jiun-Jian Liaw, Yu-Huei Cheng, Li-Wei Lai, Wei-Chen Lin
  Application of Gravity Sensor for Swimming Posture Recognition Based on Feature Analysis
• Tarun Tiwari, Aparajita Nandi
  Deep Learning Based Analysis System For Autonomous Vehicles
• Chit Su Mon, Kian Meng Yap, Azlina Ahmad
  Potentials of Haptic, Audio and Olfactory as Assistive Tools in Edutainment Applications for Visually Impaired
• Hung-Chi Chu, Young-Lin Zhang
  CNN-based Sound Classification Method for Different Signal Preprocessing

16:45 - 16:50 Break

16:50 - 17:50 Session 6

• Chin-Ling Chen, Fei Lu, Yi-An Chen, Hong-Yi Wu, Yong-Yuan Deng
  Evaluation of the implementation of electroencephalograph in brain training games
• Chin-Ling Chen, You-Shen Zhang, Yong-Yuan Deng
  The development of concentration with eye tracker in eyes training games
• Tzu-Chuen Lu, Ming-Rong You, Chi-Chang Clayton Chen, Jyh-Wen Chai, Yi-Ying Wu
  MRI examination teaching system by using Virtual Reality (VR)

17:50 - 18:00 Wrap-Up

Tuesday, Sept. 8, 2020

14:00 - 14:10 Welcome to EDCC 2020 - Elena Troubitsyna, Karama Kanoun, Mario Trapp, Michael Paulitsch

14:10 - 15:25 Session 1 - Distinguished papers (chair: Felicita Di Giandomenico)

• Ilya Tuzov, David de Andrés and Juan Carlos Ruiz
  "Improving Robustness-aware Design Space Exploration for FPGA-based Systems (REG)"
• Mojtaba Eslahi-Kelorazi, Long Hoang Le and Fernando Pedone
  "Developing Complex Data Structures over Partitioned State Machine Replication (REG)"
• Shihao Song, Anup Das and Nagarajan Kandasamy
  "Improving Dependability of Neuromorphic Computing With Non-Volatile Memory (REG)"

15:25 - 15:50 Break

15:50 - 16:30 Keynote 1 (chair: Michael Paulitsch)

• Ignacio Alvarez
  "Towards Universal Safety Guarantees of Decision Making in Automated Vehicles"

16:30 - 16:45 Break

16:45 - 17:45 Session 2 - Fault-tolerant computing (chair: Marco Vieira)

• Miguel Amaral, Miguel Pardal, Hugues Mercier and Miguel Matos
  "Reproducible Fault Injection in Distributed Systems (REG)"
• Lauri Vihman, Maarja Kruusmaa and Jaan Raik
  "Data-Driven Cross-Layer Fault Management Architecture for Sensor Networks (REG)"
• Xiaoming Du, Cong Li, Shen Zhou, Mao Ye and Jing Li
  "Predicting Uncorrectable Memory Errors for Proactive Replacement: An Empirical Study on Large-Scale Field Data (PER)"

Wednesday, Sept. 9, 2020

14:00 - 14:40 Keynote 2 (chair: Elena Troubitsyna)

• Peter Schicht
  "Challenges for Artificial Intelligence in Automated Driving"

14:40 - 15:00 Break

15:00 - 16:10 Session 3 - Safety-critical systems (chair: Elena Lisova)

• Jan Reich and Mario Trapp
  "SINADRA: Towards a Framework for Assurable Situation-Aware Dynamic Risk Assessment of Autonomous Vehicles (Short)"
• Mallory Graydon
  "Towards Efficacy Hypotheses for Safety Cases (REG)"
• John Mace, Ricardo Melo Czekster, Charles Morisset and Carsten Maple
  "Smart Building Risk Assessment Case Study: Challenges, Deficiencies and Recommendations (PER)"
• Camille Fayollas, Hugues Bonnin and Olivier Flebus
  "SafeOps: a Concept of Continuous Safety (Shot)"

16:10 - 16:30 Break

16:30 - 17:50 Session 4 - Distributed systems (chair: Elena Troubitsyna)

• Christian Herrera
  "Stateful Priorities for Precise Restriction of System Behavior (REG)"
• Vicent Cholvi, Antonio Fernandez Anta, Chryssis Georgiou, Nicolas Nicolaou and Michel Raynal
  "Atomic Appends in Asynchronous Byzantine Distributed Ledgers (REG)"
• Matheus Torquato, Charles F. Gonçalves and Marco Vieira
  "An Availability Model for DSS and OLTP Applications hosted in Virtualized Environments (REG)"
• Christopher Temple
  "Developing Complex Safety Systems in Complex Supply Chains (PER)"

Thursday, Sept. 10, 2020

14:00 - 14:40 Keynote 3 (chair Mario Trapp)

• Martin Rothfelder
  "Public transport: Challenges and Opportunities for Dependability"

14:40 - 15:00 Break

15:00 - 16:00 Session 5 - Security engineering (chair: Irum Rauf)

• José D'Abruzzo Pereira and Marco Vieira
  "On the Use of Open-Source C/C++ Static Analysis Tools in Large Projects (PER)"
• Giampaolo Bella, Pietro Biondi, Gianpiero Costantino and Ilaria Matteucci
  "CINNAMON: A Module for AUTOSAR Secure on-board Communication (REG)"
• Ibéria Medeiros and Nuno Neves
  "Effect of Coding Styles in Detection of Web Application Vulnerabilities (REG)"

16:00 - 16:15 Break

16:15 - 17:30 Session 6 - Modelling dependable systems (chair: Elena Troubitsyna)

• Shahid Khan, Joost-Pieter Katoen and Marc Bouissou
  "Explaining Boolean-logic Driven Markov Processes using GSPNs (REG)"
• Novarun Deb, Mandira Roy, Nabendu Chaki and Agostino Cortesi
  "Generation of Safety and Liveness Compliant Automata from Goal Model Specifications (REG)"
• Lucas Bressan, André L. de Oliveira and Fernanda Campos
  "An Approach to Support Variability Management on CHESS Error Models (REG)"
• Christian Herrera, Nancy Cruz and Ricardo Quintero
  "CrEStO: A Tool for Synthesizing Stateful Priorities (Short)"

17:30 - 17:45 Closing. Announcement of EDCC 2021 Mario Trapp, Michael Paulitsch, Jeremie Guiochet, Karama Kanoun