Software Engineering for Resilient Systems : 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings / edited by Radu Calinescu, Felicita Di Giandomenico

Contributor(s):

Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Programming and Software Engineering ; 11732 | Springer eBooks Computer SciencePublisher: Cham : Springer, 2019Edition: 1st ed. 2019Description: 1 Online-Ressource (X, 157 p. 51 illus., 25 illus. in color)ISBN:

9783030308568

Subject(s):

Additional physical formats: 9783030308551 | Erscheint auch als: 978-3-030-30855-1 Druck-AusgabeDDC classification:

005.1 23

LOC classification:

QA76.758

DOI: DOI: 10.1007/978-3-030-30856-8Online resources:

Summary: 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 PropertiesSummary: 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 managementPPN: PPN: 1678674907Package identifier: Produktsigel: ZDB-2-LNC | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-SEB

Holdings ( 0 )

No physical items for this record