Description
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.
Table of Contents
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.
-
- 洋書電子書籍
- The Oxford Handbook…
-
- 洋書電子書籍
- Nuclear Economy 1 :…
-
- 洋書電子書籍
- The Nightmarys
-
- 洋書電子書籍
- Apuleius and Africa
