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

ISBN-13: 9783030308551 / Angielski / Miękka / 2019 / 157 str.

Radu Calinescu; Felicita Di Giandomenico

Spis treści

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.