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

158 Pages·2019·8.856 MB·English

by  Radu Calinescu, Felicita Di Giandomenico

Radu Calinescu
Felicita Di Giandomenico (Eds.)
2
3
7 Software Engineering
1
1

S
C for Resilient Systems
N
L
11th International Workshop, SERENE 2019
Naples, Italy, September 17, 2019
Proceedings
Lecture Notes in Computer Science 11732
Founding Editors
Gerhard Goos
Karlsruhe Institute of Technology, Karlsruhe, Germany
Juris Hartmanis
Cornell University, Ithaca, NY, USA
Editorial Board Members
Elisa Bertino
Purdue University, West Lafayette, IN, USA
Wen Gao
Peking University, Beijing, China
Bernhard Steffen
TU Dortmund University, Dortmund, Germany
Gerhard Woeginger
RWTH Aachen, Aachen, Germany
Moti Yung
Columbia University, New York, NY, USA
More information about this series at http://www.springer.com/series/7408
Radu Calinescu Felicita Di Giandomenico (Eds.)
(cid:129)
Software Engineering
for Resilient Systems
11th International Workshop, SERENE 2019
Naples, Italy, September 17, 2019
Proceedings
123
Editors
RaduCalinescu Felicita DiGiandomenico
University of York ISTI-CNR
York,UK Pisa,Italy
ISSN 0302-9743 ISSN 1611-3349 (electronic)
Lecture Notesin Computer Science
ISBN 978-3-030-30855-1 ISBN978-3-030-30856-8 (eBook)
https://doi.org/10.1007/978-3-030-30856-8
LNCSSublibrary:SL2–ProgrammingandSoftwareEngineering
©SpringerNatureSwitzerlandAG2019
Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthe
material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation,
broadcasting, reproduction on microfilms or in any other physical way, and transmission or information
storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynow
knownorhereafterdeveloped.
Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication
doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant
protectivelawsandregulationsandthereforefreeforgeneraluse.
Thepublisher,theauthorsandtheeditorsaresafetoassumethattheadviceandinformationinthisbookare
believedtobetrueandaccurateatthedateofpublication.Neitherthepublishernortheauthorsortheeditors
give a warranty, expressed or implied, with respect to the material contained herein or for any errors or
omissionsthatmayhavebeenmade.Thepublisherremainsneutralwithregardtojurisdictionalclaimsin
publishedmapsandinstitutionalaffiliations.
ThisSpringerimprintispublishedbytheregisteredcompanySpringerNatureSwitzerlandAG
Theregisteredcompanyaddressis:Gewerbestrasse11,6330Cham,Switzerland
Preface
Thisvolumecontainstheproceedingsofthe11thInternationalWorkshoponSoftware
Engineering for Resilient Systems (SERENE 2019). SERENE 2019 took place in
Naples,Italy,onSeptember17,2019.TheSERENEworkshopisanannualeventthat
brings together leading researchers and practitioners from academia and industry, to
advancethestateoftheartandtoidentifyopenchallengesinthesoftwareengineering
of resilient systems.
The 2019 edition of SERENE provided a forum for the exchange of ideas on
advances in areas of software engineering for resilient systems, including, but not
limited to:
Development of resilient systems
– Engineering processes for resilient systems
– Requirements engineering and re-engineering for resilience
– Frameworks, patterns, and software architectures for resilience
– Engineering of self-healing autonomic systems
– Design of trustworthy and intrusion-safe systems
– Resilience at run-time (mechanisms, reasoning, and adaptation)
– Resilience and dependability (resilience vs. robustness, dependable vs. adaptive
systems)
Verification, validation and evaluation of resilience
– Modeling and model based analysis of resilience properties
– Formal and semi-formal techniques for verification and validation
– Experimental evaluations of resilient systems
– Quantitative approaches to ensuring resilience
– Resilience prediction
Case studies and applications
– Empirical studies in the domain of resilient systems
– Methodologies adopted in industrial contexts
– Cloud computing and resilient service provisioning
– Resilience for data-driven systems (e.g., big data-based adaption and resilience)
– Resilient cyber-physical systems and infrastructures
– Global aspects of resilience engineering: education, training, and cooperation
SERENE 2019 attracted 12 submissions, from which 5 submissions were accepted
as full papers and 4 submissions were accepted as short papers. Every submission
received at least three rigorous reviews. We would like to express our gratitude to the
Program Committee members and the additional reviewers, who actively participated
in reviewing and discussing the submissions.
vi Preface
Inadditiontothehigh-qualitypapersselectedbytheProgramCommittee,SERENE
2019featuredanenlighteningkeynoteandaninvitedpaper.Thekeynoteaddressedthe
ethics and privacy of autonomous systems and was presented by Paola Inverardi,
professor at the University of L’Aquila, the recipient of the 2013 IEEE TCSE
DistinguishedServiceAward,andaleadingexpertinsoftwareengineering.Theinvited
paper, contributed by Jesper Andersson, Vincenzo Grassi, Raffaela Mirandola, and
Diego Perez-Palacin, introduced a unifying conceptual framework for the characteri-
zation of system resilience.
Since 2015 SERENE has become part of a major European dependability forum –
theEuropeanDependableComputingConference(EDCC).Wewouldliketothankthe
Organizing Committee of EDCC 2019 for their help in organizing the workshop. We
arealsogratefultoEasyChairforfacilitatingtheSERENE2019submission,reviewing,
and proceedings generation.
September 2019 Radu Calinescu
Felicita Di Giandomenico
Organization
Steering Committee
Didier Buchs University of Geneva, Switzerland
Henry Muccini University of L’Aquila, Italy
Patrizio Pelliccione Chalmers University of Technology, Sweden
Alexander Romanovsky Newcastle University, UK
Elena Troubitsyna Royal Institute of Technology, Finland
Program Committee
Nuno Antunes University of Coimbra, Portugal
Luciana Arantes Universite Pierre et Marie Curie-Paris 6, France
Rami Bahsoon University of Birmingham, UK
Silvia Bonomi Sapienza University of Rome, Italy
Marsha Chechik University of Toronto, Canada
Catello Di Martino Bell Labs Alcatel-Lucent, USA
Giovanna Di Marzo University of Geneva, Switzerland
Serugendo
Lars Grunske Humboldt University Berlin, Germany
Jérémie Guiochet LAAS-CNRS, France
Dubravka Ilic Space Systems Finland, Finland
Rolf Johansson Autonomous Intelligent Driving, Sweden
Linas Laibinis Åbo Akademi University, Finland
Raffaela Mirandola Politecnico di Milano, Italy
Henry Muccini University of L’Aquila, Italy
Roberto Natella University of Naples Federico II, Italy
Patrizio Pelliccione Chalmers University of Technology, Sweden
Genaina Rodrigues University of Brasilia, Brazil
Francesca Saglietti University of Erlangen-Nuremberg, Germany
Cristina Seceleanu Mälardalen University, Sweden
Alin Stefanescu University of Bucharest, Romania
Elena Troubitsyna Royal Institute of Technology, Finland
Additional Reviewers
Eduard Paul Enoiu Mälardalen University, Sweden
Rong Gu Mälardalen University, Sweden
Contents
Keynote Paper
Ethics and Privacy in Autonomous Systems: A Software Exoskeleton
to Empower the User. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
Paola Inverardi
Invited Paper
A Distilled Characterization of Resilience and Its Embraced Properties
Based on State-Spaces. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
Jesper Andersson, Vincenzo Grassi, Raffaela Mirandola,
and Diego Perez-Palacin
Resilience Engineering in Complex and Critical Applications
Modelling Autonomous Resilient Multi-robotic Systems . . . . . . . . . . . . . . . 29
Inna Vistbakka and Elena Troubitsyna
Reactive Middleware for Effective Requirement Change Management
of Cloud-Based Global Software Development. . . . . . . . . . . . . . . . . . . . . . 46
David Ebo Adjepon-Yamoah
Fault-Tolerant IoT: A Systematic Mapping Study . . . . . . . . . . . . . . . . . . . . 67
Mahyar Tourchi Moghaddam and Henry Muccini
JARVIS, A Hardware/Software Framework for Resilient
Industry 4.0 Systems. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
Jacopo Parri, Fulvio Patara, Samuele Sampietro, and Enrico Vicario
Testing and Validation Methods
Toward Testing Self-organizations in Multi-Embedded-Agent Systems. . . . . . 97
Arthur Baudet, Oum-El-Kheir Aktouf, Annabelle Mercier,
and Jean-Paul Jamont
Towards Integrated Correctness Analysis and Performance Evaluation
of Software Systems (Doctoral Forum Paper) . . . . . . . . . . . . . . . . . . . . . . . 109
Ioannis Stefanakos
x Contents
Security, Trust and Privacy Management
An Energy Aware Approach to Trust Management Systems for Embedded
Multi-Agent Systems. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
Arthur Darroux, Jean-Paul Jamont, Oum-El-Kheir Aktouf,
and Annabelle Mercier
Addressing Security Properties in Systems of Systems: Challenges
and Ideas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 138
Miguel Angel Olivero, Antonia Bertolino,
Francisco José Dominguez-Mayo, María José Escalona,
and Ilaria Matteucci
On the Use of Quality Models to Characterize Trustworthiness Properties . . . 147
Tania Basso, Hebert Silva, and Regina Moraes
Author Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 157