Software Engineering for Resilient Systems: 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings

✍ Scribed by Radu Calinescu, Felicita Di Giandomenico

• Publisher: Springer International Publishing
• Year: 2019
• Tongue: English
• Leaves: 158
• Series: Lecture Notes in Computer Science 11732
• Edition: 1st ed. 2019
• Category: Library

✦ Synopsis

This book constitutes the refereed proceedings of the 11th International Workshop on Software Engineering for Resilient Systems, SERENE 2019, held in Naples, Italy, in September 2019.

The 5 full papers and 4 short papers presented together with 1 keynote and 1 invited paper were carefully reviewed and selected from 12 submissions. They cover the following areas: resilience engineering in complex and critical applications; testing and validation methods; security, trust and privacy management.

✦ Table of Contents

Front Matter ....Pages i-x
Front Matter ....Pages 1-1
Ethics and Privacy in Autonomous Systems: A Software Exoskeleton to Empower the User (Paola Inverardi)....Pages 3-8
Front Matter ....Pages 9-9
A Distilled Characterization of Resilience and Its Embraced Properties Based on State-Spaces (Jesper Andersson, Vincenzo Grassi, Raffaela Mirandola, Diego Perez-Palacin)....Pages 11-25
Front Matter ....Pages 27-27
Modelling Autonomous Resilient Multi-robotic Systems (Inna Vistbakka, Elena Troubitsyna)....Pages 29-45
Reactive Middleware for Effective Requirement Change Management of Cloud-Based Global Software Development (David Ebo Adjepon-Yamoah)....Pages 46-66
Fault-Tolerant IoT (Mahyar Tourchi Moghaddam, Henry Muccini)....Pages 67-84
JARVIS, A Hardware/Software Framework for Resilient Industry 4.0 Systems (Jacopo Parri, Fulvio Patara, Samuele Sampietro, Enrico Vicario)....Pages 85-93
Front Matter ....Pages 95-95
Toward Testing Self-organizations in Multi-Embedded-Agent Systems (Arthur Baudet, Oum-El-Kheir Aktouf, Annabelle Mercier, Jean-Paul Jamont)....Pages 97-108
Towards Integrated Correctness Analysis and Performance Evaluation of Software Systems (Doctoral Forum Paper) (Ioannis Stefanakos)....Pages 109-117
Front Matter ....Pages 119-119
An Energy Aware Approach to Trust Management Systems for Embedded Multi-Agent Systems (Arthur Darroux, Jean-Paul Jamont, Oum-El-Kheir Aktouf, Annabelle Mercier)....Pages 121-137
Addressing Security Properties in Systems of Systems: Challenges and Ideas (Miguel Angel Olivero, Antonia Bertolino, Francisco José Dominguez-Mayo, María José Escalona, Ilaria Matteucci)....Pages 138-146
On the Use of Quality Models to Characterize Trustworthiness Properties (Tania Basso, Hebert Silva, Regina Moraes)....Pages 147-155
Back Matter ....Pages 157-157

✦ Subjects

Computer Science; Software Engineering; Computer Systems Organization and Communication Networks; Computing Milieux