Program


Wednesday, 6 September 2017


08:00-09:00 Registration
09:00-09:15 Opening session
09:15-10:15 Keynote talk
  • Andreas Eckel (TTTech). It is a Disruptive World with Exponential Development: Expected Trends in Embedded Systems, with a Special Focus on the Automotive Industry and its likely Effects on Industry and Society
10:15-10:45 Break
10:45-12:15 Session 1: Distinguish papers
  • Ilya Tuzov, David de Andrés and Juan Carlos Ruiz. Accurately simulating the effects of faults in VHDL models described at the implementation-level
  • Yazdan Movahedi, Michel Cukier, Ambrose Andongabo and Ilir Gashi. Cluster-based Vulnerability Assessment Applied to Operating Systems
  • Vidhya Tekken Valapil and Sandeep Kulkarni. Preserving Stabilization while Practically Bounding State Space
12:30-14:00 Lunch
14:00-15:30 Session 2: Fault-tolerance
  • Michael Eischer and Tobias Distler. Scalable Byzantine Fault Tolerance on Heterogeneous Servers
  • Ryan Slechta, Laura Monroe, Nathan Debardeleben, Qiang Guan, Joanne Wendelberger and Sarah Michalak. Resilience Analysis of Top K Selection Algorithm
  • William Excoffon, Jean-Charles Fabre and Michaël Lauer. Analysis of Adaptive Fault Tolerance for Resilient Computing
15:30-16:00 Break
16:00-15:10 Session 3: Safety-critical systems
  • Omar Jaradat and Iain Bate. Using Safety Contracts to Guide the Maintenance of Systems and Safety Cases
  • Luke Martin, Alexander Romanovsky. An Approach for Designing Knowledge-based Systems for High-Integrity Applications
  • Omar Jaradat, Irfan Sljivo, Ibrahim Habli and Richard Hawkins. Challenges of Safety Assurance for Industry 4.0

Thursday, 7 September 2017


08:00-09:00 Registration
09:00-11:00 Session 4: Industrial day
  • Roberto Natella (CRITIWARE). Advancing Fault Injection and Dependability Evaluation in the Software-Driven Telecom Industry
  • Francisco Almeida Maia (SafeCloud Technologies). Data management and privacy in a world of data wealth
  • Hans-Peter Schwefel (GridData). ICT and Data-Management for Dependability of Electricity Distribution Grids
  • Antonio Bovenzi (Banca D'Italia). Importance of Automation Tools to Develop and Operate Reliable Services
11:00-11:15 Break
11:15-12:15 Session 5: Hardware architecture
  • Lars Nagel and Tim Suess. Computing the Probability for Data Loss in Two-dimensional Parity RAIDs
  • Georg Macher, Markus Bachinger and Michael Stolz. Embedded Multi-Core System for Design of Next Generation Powertrain Control Units
12:30-14:00 Lunch
14:00-15:30 Session 6: Security and privacy
  • Paulo Nunes, Ibéria Medeiros, José Fonseca, Nuno Neves, Miguel Correia, Marco Vieira. On Combining Diverse Static Analysis Tools for Web Security: An Empirical Study
  • Hebert Silva, Tania Basso and Regina Moraes. Privacy and data mining: evaluating the impact of data anonymization on classification algorithms
  • Manuel Barbosa, Sonia Ben Mokhtar, Pascal Felber, Francisco Maia, Miguel Matos, Rui Oliveira, Etienne Rivière, Valerio Schiavoni and Spyros Voulgaris. SAFETHINGS: Data Security by Design in the IoT
  • Ivano Alessandro Elia, Nuno Antunes, Nuno Laranjeiro and Marco VieiraAn Analysis of OpenStack Vulnerabilities
15:30-16:00 Break
16:00-17:20 Session 7: Testing and validation methods
  • Kazuto Shigihara, Shinya Honda and Hiroaki Takada. Test Program Generator for AUTOSAR OS
  • Ghazal Zamani and Olivia Das. Impact of a Fault Management Architecture on the Performance of a Component-based System
  • Raul Barbosa, Frederico Cerveira, Marta Mercier and Henrique Madeira. On the Emulation of Vulnerabilities through Software Fault Injection
19:30 Banquet Le Café Restaurant du Parc des Bastions(http://www.bastions.ch/)

Friday, 8 September 2017


09:00-10:00 Keynote talk
  • Christian Cachin (IBM Research-Zurich). Blockchains and consensus protocols
10:15-10:45 Break
10:45-12:15 Session 8: Intrusion and evaluation
  • Kevin Bock, Sydnee Shannon, Yazdan Movahedi and Michel Cukier. Application of Routine Activity Theory to Cyber Intrusion Location and Time
  • Jonathan Roux, Éric Alata, Guillaume Auriol, Vincent Nicomette and Mohamed Kaâniche. Toward an Intrusion Detection Approach for IoT based on Radio Communications Profiling
  • Leonardo Aniello, Roberto Baldoni, Edoardo Gaetani, Federico Lombardi, Andrea Margheri and Vladimiro Sassone. A Prototype Evaluation of a Tamper-resistant High Performance Blockchain-based Transaction Log for a Distributed Database
  • Ambrose Andongabo and Ilir Gashi. vepRisk - A Web Based Analysis Tool for Public Security Data
12:15 Closing session