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