Software Engineering for Resilient Systems

11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings
Herausgegeben:Calinescu, Radu; Di Giandomenico, Felicita

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Lecture Notes in Computer Science 11732
• Verlag: Springer / Springer International Publishing / Springer, Berlin
• Artikelnr. des Verlages: 978-3-030-30855-1
• 1st ed. 2019
• Seitenzahl: 168
• Erscheinungstermin: 5. September 2019
• Englisch
• Abmessung: 235mm x 155mm x 10mm
• Gewicht: 266g
• ISBN-13: 9783030308551
• ISBN-10: 3030308553
• Artikelnr.: 57399169

Inhaltsangabe

Keynote Paper.- Ethics and Privacy in Autonomous Systems: A software exoskeleton to empower the user.- Invited Paper.- A distilled characterization of resilience and its embraced properties based on state-spaces.- Resilience Engineering in Complex and Critical Applications.- Modelling Autonomous Resilient Multi-Robotic Systems.- Reactive Middleware for Effective Requirement Change Management of Cloud-Based Global Software Development.- Fault-tolerant IoT - a Systematic Mapping Study.- JARVIS, a hardware/software framework for resilient Industry 4.0 systems.- Testing and Validation Methods.- Toward testing self-organizations in multi-embedded-agent systems.- Towards Integrated Correctness Analysis and Performance Evaluation of Software Systems.- Security, Trust and Privacy Management.- An Energy Aware Approach to Trust Management Systems for Embedded Multi-Agents Systems.- Addressing Security Properties in Systems of Systems: Challenges and Ideas.-On the Use of Quality Models to Characterize Trustworthiness Properties.