Calinescu / Di Giandomenico Software Engineering for Resilient Systems
Erscheinungsjahr 2019
ISBN: 978-3-030-30856-8
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings
E-Book, Englisch, 157 Seiten
Reihe: Computer Science
ISBN: 978-3-030-30856-8
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
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.
Weitere Infos & Material
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.
