EDCC 2016



Monday, September 5, 2016

08:00 - 09:00 Registration
Workshops and Seminars
09:00 - 17:00 SERENE Workshop (room Kelvin)
13:00 - 17:15 Dependable Computing in Practice Seminar (room Demo Studio)
17:45 - 18:45 Visit to ReVeRe – Vehicle and Traffic Safety Centre
19:00 - 21:00 Reception at Lindholmen Science Park
Tuesday, September 6, 2016

08:00 - 09:00 Registration
Workshops and Seminars
09:15 - 15:30 SERENE Workshop (room Kelvin)
08:45 - 19:00 CARS Workshop (room Pascal)
Wednesday, September 7, 2016 (room Pascal)

08:00 - 09:00 Registration
Welcome Address
09:00 - 09:15 Johan Karlsson (General Chair), and Marco Vieira (Program Chair)
09:15 - 10:30 Speed, Data and Ecosystems: The Future of Software Engineering
Jan Bosch, Chalmers University of Technology

Abstract: The future of software engineering is centered around three main developments: Speed, Data and Ecosystems. The focus on speed is concerned with the constantly increasing rate of deploying new software in the field. This continuous integration and deployment is no longer only the purview of internet companies but is also increasingly deployed in embedded systems. Second, data is concerned with the vast amounts of information collected from systems deployed in the field and the behavior of the users of these systems. The software-intensive systems industry needs to significantly improve its ability to exploit the value present in that data. Finally, ecosystems are concerned with the transition in many companies from doing everything in-house to strategic use of innovation partners and commodity providing partners. The keynote addresses these three main developments, provides numerous examples from the Nordic and international industry and predicts the next steps that industry and academia need to engage in to remain competitive.
10:30 - 11:00 Coffee
Best Paper Session
Session Chair: Marco Vieira
11:00 - 11:30 Finding Resilience-Friendly Compiler Optimizations using Meta-Heuristic Search Techniques
Nithya N, Karthik Pattabiraman and Matei Ripeanu (University of British Columbia (UBC), Canada)
11:30 - 12:00 Diversity, Safety and Security in Embedded Systems: modeling adversary effort and supply chain risks
Ilir Gashi, Andrey Povyakalo and Lorenzo Strigini (City University London, U.K.)
12:00 - 12:30 A System-level Architecture for Fine-grained Privacy Control in Location-based Services
Arielle Moro and Benoît Garbinato (University of Lausanne, Switzerland)
12:30 - 14:00 Lunch at L's Resto
Software Security
Session Chair: Elena Troubitsyna
14:00 - 14:30 Software Metrics and Security Vulnerabilities: Dataset and Exploratory Study
Henrique Alves1, Baldoino Fonseca1 and Nuno Antunes2 (1Federal University of Alagoas, Brazil; 2University of Coimbra, Portugal)
14:30 - 15:00 Coverage Metrics and Detection of Injection Vulnerabilities: An Experimental Study
Ana Paula Sayuri Matsunaga1, Nuno Antunes2 and Regina Moraes3 (1CPqD, Brazil; 2University of Coimbra, Portugal; 3University of Campinas, Brazil)
15:00 - 15:30 Inferring a Distributed Application Behavior Model for Anomaly Based Intrusion Detection
Eric Totel1, Mouna Hkimi2, Michel Hurfin2, Mourad Leslous2 and Yvan Labiche3 (1CentraleSupelec, France; 2INRIA, France; 3Carleton University, Canada)
15:30 - 16:00 Coffee
Fault Tolerance
Session Chair: Paolo Lollini
16:00 - 16:30 CrossCheck: a Holistic Approach for Tolerating Crash-Faults and Arbitrary State Corruptions
Arthur Martens1, Christoph Borchert2, Manuel Nieke1, Olaf Spinczyk2 and Rüediger Kapitza1 (1TU Braunschweig, Germany; 2TU Dortmund, Germany)
16:30 - 17:00 SAREK: Optimistic Parallel Ordering in Byzantine Fault Tolerance
Bijun Li1, Wenbo Xu1, Muhammad Zeeshan Abid2, Tobias Distler3 and Rüdiger Kapitza1 (1TU Braunschweig, Germany; 2KTH Stockholm, Sweden; 3Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), Germany)
Student Forum
Session Chair: Hans Peter Schwefel
Adaptive Data Collection Mechanisms for Smart Monitoring of Distribution Grids
Mohammed S. Kemal and Rasmus L. Olsen (Aalborg University, Denmark)
17:00 - 18:00 Delay Evaluation of OpenFlow Network Based on Queueing Model
Zhihao Shang and Katinka Wolter (Freie Universität Berlin, Germany)
Improving FPGA resilience through Partial Dynamic Reconfiguration
José Luís Nunes (University of Coimbra, Portugal)
Welcome Reception
18:30 - 20:00 Welcome Reception at Bistrot, Jupiter building
Thursday, September 8, 2016 (room Lindholmen Conference Hall)

08:30 - 08:30 Registration
Hardware Dependability
Session Chair: Johan Karlsson
08:30 - 09:00 On the Effects of Cumulative SEUs in FPGA-based Systems
Jose Luis Nunes1, Joao Carlos Cunha1 and Mario Zenha-Rela2 (1Polytechnic Institute of Coimbra, Portugal; 2University of Coimbra, Portugal)
09:00 - 09:30 3D-DPS: An Efficient 3D-CAC to Reliable Data Transfer in 3D ICs
Zahra Shirmohammadi, Nezam Rohbani and Seyed Ghassem Miremadi (Sharif University of Technology, Iran)
09:30 - 10:00 Ultrafast Error Correction Codes for Double Error Detection/Correction
Luis-J. Saiz-Adalid, Pedro Gil, Juan Carlos Ruiz, Joaquin Gracia, Daniel Gil and Juan C. Baraza (Universitat Politècnica de València, Spain)
10:00 - 10:30 Investigating the Effects of Process Variations and System Workloads on Reliability of STT-RAM Caches
Elham Cheshmikhani, Amir Mahdi Hosseini Monazzah, Hamed Farbeh and Seyed-Ghasem Miremadi (Sharif University of Technology, Iran)
10:30 - 11:00 Coffee
Session Chair: Nuno Antunes
11:00 - 11:30 Practical Emulation of Software Defects in Source Code
Gonçalo Pereira, Raul Barbosa and Henrique Madeira (University of Coimbra, Portugal)
11:30 - 12:00 Prediction of the Testing Effort for the Safety Certification of Open-Source Software: A Case Study on a Real-Time Operating System
Domenico Cotroneo1, Domenico Di Leo2, Roberto Natella1 and Roberto Pietrantuono1 (1Università degli Studi di Napoli Federico II, Italy; 2Critiware, Italy)
12:00 - 12:30 Virtual Worlds for Testing Robot Navigation: a Study on the Difficulty Level
Thierry Sotiropoulos, Jérémie Guiochet, Félix Ingrand and Hélène Waeselynck (LAAS-CNRS, France)
12:30 - 14:00 Lunch at L's Resto
Data Storage
Session Chair: Karthik Pattabiraman
14:00 - 14:30 Experimental Assessment of NoSQL Databases Dependability
Luis Ventura and Nuno Antunes (University of Coimbra, Portugal)
14:30 - 15:00 Design and Implementation of a Consistent Data Store for a Distributed SDN Control Plane
Fabio Botelho1, Tulio A. Ribeiro1, Paulo Ferreira1, Fernando M. V. Ramos2 and Alysson Bessani2 (1LaSIGE, Portugal; 2Universidade de Lisboa, Portugal)
Fast Abstracts
Session Chair: Gilles Tredan
A Combined Dependability and Security Approach for COTS Software in Space Systems
David Escorial Rico, Mark Hann
Efficient Non-Anonymous Composition Operator for Modeling Complex Dependable Systems
Silvano Chiaradonna, Felicita Di Giandomenico and Giulio Masetti
Estimating Maximum Error Impact in Dynamic Data-driven Applications for Resource-aware Adaption of Software-based Fault-Tolerance
Björn Bönninghoff, Horst Schirmeier
15:00 - 16:00 Towards Dependable Change Management and Traceability for Global Software Development
David Ebo Adjepon-Yamoah
DETOx: Towards Optimal Software-based Soft-Error Detector Configurations
Michael Lenz and Horst Schirmeier
MISO: an intermediate language to express parallel and dependable programs
Alcides Fonseca, Raul Barbosa
Excursion & Banquet
17:00 - The banquet will be held at Nya Älvsborgs Fortress, located on a small island in the mouth of the Göta Älv river. A small cruise ship will take delegates and guests to/from the island and the conference venue.
Friday, September 9, 2016 (room Pascal)

08:00 - 09:00 Registration
Short Papers
Session Chair: Regina Moraes
Assuring Dependable Cloud-Based System Engineering: A Cloud Accountability Method
David Ebo Adjepon-Yamoah1 and Zhenyu Wen2 (1Newcastle University, U.K.; 2University of Edinburgh, U.K.)
09:00 - 10:30 Expert-Guided Automatic Diagnosis of Performance Problems in Enterprise Applications
Christoph Heger1, André van Hoorn2, Dušan Okanović1, Stefan Siegl1 and Alexander Wert1 (1NovaTec Consulting GmbH, Germany; 2University of Stuttgart, Germany)
Towards a Common Safety Ontology for Automobiles and Railway Vehicles
Bernhard Hulin1, Hermann Kaindl2, Thomas Rathfux2, Roman Popp2, Edin Arnautovic2 and Roland Beckert2 (1Berner & Mattner Systemtechnik GmbH, Germany; 2TU Wien, Austria)
Multidimensional Log Analysis
Marcin Kubacki and Janusz Sosnowski (Warsaw University of Technology, Poland)
10:30 - 11:00 Coffee
Deployment and Evolution
Session Chair: Lorenzo Strigini
11:00 - 11:30 Combining SAN and P-Graphs for the Analysis and Optimization of Industrial Processes
Ricccardo Bernini1, Andrea Bondavalli2, Paolo Lollini2 and Leonardo Montecchi2 (1Blue Reply s.r.l., Italy; 2University of Firenze, Italy)
11:30 - 12:00 Dwarf: Shortening Downtime of Reboot-based Kernel Updates
Ken Terada and Hiroshi Yamada (TUAT, Japan)
12:00 - 12:30 Adaptive Deployment Infrastructure for Android Applications
Junior Cupe Casquina, Jane D. A. Sandim Eleuterio and Cecilia M.F. Rubira (University of Campinas, Brazil)
12:30 - 14:00 Lunch at L's Resto
Fault Prediction and Tolerance
Session Chair: Karama Kanoun
14:00 - 14:30 An RSU Replication Scheme for Dependable Wireless Vehicular Networks
João Almeida, Joaquim Ferreira and Arnaldo Oliveira (Instituto de Telecomunicações, Portugal)
14:30 - 15:00 Transitioning Fault Predition Models to a New Environment
Jesper Derehag1, Elaine Weyuker2, Thomas Ostrand2 and Daniel Sundmark2 (1Ericsson AB, Sweden; 2Mälardalen University, Sweden)
15:00 - 15:30 A Performance Comparison of Algorithms for Byzantine Agreement in Distributed Systems
Shreya Agrawal and Khuzaima Daudjee (University of Waterloo, Canada)
15:30 - 16:00 Wrap-up
RAID 2013 Credit - David Tagatac, Jill Jermyn, Nathaniel Boggs    |    Adapted for EDCC 2016 - Behrooz Sangchoolie