Calinescu / Di Giandomenico Software Engineering for Resilient Systems

11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings
Erscheinungsjahr 2019
ISBN: 978-3-030-30856-8
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, 157 Seiten, eBook

Reihe: Programming and Software Engineering

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.

Zielgruppe

Research

Autoren/Hrsg.

Calinescu, Radu

Di Giandomenico, Felicita

Inhaltsverzeichnis

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.