Program
Registration
| 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) |
Reception
| 17:45 - 18:45 | Visit to ReVeRe – Vehicle and Traffic Safety Centre |
| 19:00 - 21:00 | Reception at Lindholmen Science Park |
Registration
| 08:00 - 09:00 | Registration |
Workshops and Seminars
| 09:15 - 15:30 | SERENE Workshop (room Kelvin) |
| 08:45 - 19:00 | CARS Workshop (room Pascal) |
Registration
| 08:00 - 09:00 | Registration |
Welcome Address
| 09:00 - 09:15 | Johan Karlsson (General Chair), and Marco Vieira (Program Chair) |
Keynote
| 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. |
Break
| 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) |
Lunch
| 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) |
Break
| 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 |
Registration
| 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) |
Break
| 10:30 - 11:00 | Coffee |
Testing
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) |
Lunch
| 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. |
Registration
| 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) |
Break
| 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) |
Lunch
| 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) |
Wrap-up
| 15:30 - 16:00 | Wrap-up |
RAID 2013 Credit - David Tagatac, Jill Jermyn, Nathaniel Boggs | Adapted for EDCC 2016 - Behrooz Sangchoolie