Tuesday, Sept. 17, 2019 – at Centro Congressi and Royal Continental
8:00 – 9:00 Registration (Centro Congressi)
SERENE Workshop Program (Royal Continental – Room “Sveva”)
9:00 – 9:15 Welcome
9:15 – 10:30 Keynote speech (Session chair: Felicita Di Giandomenico)
- Paola Inverardi, University of L’Aquila, Italy
“Ethics and Privacy in Autonomous Systems: a Software Exoskeleton to Empower the User”
10:30 – 11:00 Coffee Break (Centro Congressi)
11:00 – 11:30 Invited Paper (Session chair: Radu Calinescu)
- Jesper Andersson, Vincenzo Grassi, Raffaela Mirandola, Diego Perez-Palacin
A distilled characterization of resilience and its embraced properties based on state-spaces
11:30 – 12:30 Session 1: Resilience Engineering in Complex/Critical Applications (Session chair: Oum-El-Kheir Aktouf)
- Inna Vistbakka and Elena Troubitsyna
Modelling Autonomous Resilient Multi-Robotic Systems - David Ebo Adjepon-Yamoah
Reactive Middleware for Effective Requirement Change Management of Cloud-Based Global Software Development
12:30 – 14:00 Lunch (Centro Congressi)
14:00 – 14:45 Session 2: Resilience Engineering in Complex/Critical Applications – continued (Session chair: Nuno Antunes)
- Mahyar Tourchi Moghaddam and Henry Muccini
Fault-tolerant IoT – a Systematic Mapping Study - Jacopo Parri, Fulvio Patara, Samuele Sampietro and Enrico Vicario
JARVIS, a hardware/software framework for resilient Industry 4.0 systems (short paper)
14:45 – 15:30 Session 3: Testing and Validation Methods (Session chair: Regina Moraes)
- Arthur Baudet, Oum-El-Kheir Aktouf, Annabelle Mercier and Jean-Paul Jamont
Toward testing self-organizations in multi-embedded-agent systems - Ioannis Stefanakos
Towards Integrated Correctness Analysis and Performance Evaluation of Software Systems (short paper)
15:30 – 16:00 Coffee Break (Centro Congressi)
16:00 – 17:00 Session 4: Security, Trust and Privacy Management (Session chair: Diego Perez-Palacin)
- Arthur Darroux, Jean-Paul Jamont, Oum-El-Kheir Aktouf and Annabelle Mercier
An Energy Aware Approach to Trust Management Systems for Embedded Multi-Agents Systems - Miguel Angel Olivero Gonzales, Antonia Bertolino, Francisco Jose Dominquez Mayo, Maria Josè Escalona, Ilaria Matteucci.
Addressing Security Properties in Systems of Systems: Challenges and Ideas (short paper) - Tania Basso, Hebert Silva and Regina Moraes
On the Use of Quality Models to Characterize Trustworthiness Properties (short paper)
17:00 – 18:00 Panel: Open challenges for the next decade of software engineering for resilient systems
- Panellists: Paola Inverardi, Regina Moraes, Roberto Natella, Alexander Romanovsky