Kooperativer Bibliotheksverbund

UID:

Umfang: X, 157 p. 51 illus., 25 illus. in color. , online resource.

Ausgabe: 1st ed. 2019.

ISBN: 9783030308568

Serie: Programming and Software Engineering ; 11732

Inhalt: 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.

Anmerkung: 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.

In: Springer eBooks

Weitere Ausg.: Printed edition: ISBN 9783030308551

Weitere Ausg.: Printed edition: ISBN 9783030308575

Sprache: Englisch

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

URL: https://doi.org/10.1007/978-3-030-30856-8

URL: lizenzpflichtig

UID:

Umfang: 1 Online-Ressource (x, 157 Seiten) , 51 Illustrationen, 25 in Farbe

ISBN: 9783030308568

Serie: Lecture notes in computer science 11732

Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-30855-1

Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-30857-5

Sprache: Englisch

Fachgebiete: Informatik

Schlagwort(e): Fehlertoleranz ; Zuverlässigkeit ; Software Engineering ; Formale Methode ; Verifikation ; Sicherheitskritisches System ; Konferenzschrift

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

URL: Volltext  (URL des Erstveröffentlichers)

Mehr zum Autor: Calinescu, Radu C. 1968-

UID:

Umfang: 1 online resource (158 pages)

ISBN: 9783030308568

Serie: Lecture Notes in Computer Science Ser. v.11732

Anmerkung: Description based on publisher supplied metadata and other sources , Intro -- Preface -- Organization -- Contents -- Keynote Paper -- Ethics and Privacy in Autonomous Systems: A Software Exoskeleton to Empower the User -- 1 The Digital Society -- 2 The Exosoul Vision and Challenges -- 3 The EXOSOUL Methodology -- 4 Conclusions -- References -- Invited Paper -- A Distilled Characterization of Resilience and Its Embraced Properties Based on State-Spaces -- 1 Introduction -- 2 A Conceptual Framework for Characterizing Resilience in ICT Systems -- 2.1 Basic Terms and Concepts -- 2.2 A Dynamic Characterization of Resilience -- 2.3 Basic Properties of Change that Affect the System Resilience -- 3 Design Strategies and Metrics for Resilience in ICT Systems -- 3.1 Resilience Strategies -- 3.2 Resilience Metrics -- 4 Discussion and Future Works -- References -- Resilience Engineering in Complex and Critical Applications -- Modelling Autonomous Resilient Multi-robotic Systems -- 1 Introduction -- 2 Modelling and Refinement in Event-B -- 3 Autonomous Behaviour of a Resilient Multi-robotic System -- 3.1 Resilience-Explicit Modelling of Multi-agent Interactions -- 4 Modelling of a Resilient Swarm of Drones -- 4.1 Case Study Description -- 4.2 Event-B Development of a Swarm of Drones -- 5 Conclusions and Related Work -- References -- Reactive Middleware for Effective Requirement Change Management of Cloud-Based Global Software Development -- 1 Introduction -- 2 Related Work -- 3 Reactive Middleware -- 3.1 Publish/Subscribe System -- 3.2 Artefacts Monitoring/Interpretation System -- 3.3 Management Guidelines for System Engineering -- 4 Reactive Middleware Evaluation -- 4.1 Analysis of Expert Review -- 4.2 Airlock Control System Case Study -- 5 Threats to Validity -- 5.1 Ensuring Traceability -- 5.2 Constitution of the Expert Panel -- 6 Conclusion -- References -- Fault-Tolerant IoT -- 1 Introduction -- 2 Research Method , 2.1 Search Strategy -- 2.2 Selection Strategy -- 3 Background on IoT Architectures -- 4 Fault-Tolerant IoT Architectural Patterns and Styles (RQ1) -- 5 Fault-Tolerance Techniques for Resilient IoT (RQ2) -- 5.1 Replication -- 5.2 Network Control -- 5.3 Distributed Recovery Block -- 5.4 Time Redundancy -- 6 Quality of IoT Service Associated with Fault-Tolerance (RQ3) -- 7 Horizontal Analysis -- 7.1 FT Techniques vs Architectural Patterns -- 7.2 FT Techniques vs Quality Attributes -- 8 Challenges and Emerging Trends (RQ4) -- 8.1 Publication Year -- 8.2 Publication Type -- 8.3 Publication Venues -- 8.4 Emerging Trends in Resilience for FT-IoT -- 9 Threats to Validity -- 10 Conclusion -- References -- JARVIS, A Hardware/Software Framework for Resilient Industry 4.0 Systems -- 1 Introduction -- 2 System Requirements Specification -- 3 System/Subsystem Design Description -- 4 Digital Twins as Knowledge Base -- 4.1 EIS Subsystem -- 4.2 DAS Subsystem -- 5 Conclusions and Future Works -- References -- Testing and Validation Methods -- Toward Testing Self-organizations in Multi-Embedded-Agent Systems -- 1 Introduction -- 2 Review of Testing Methods for Self-organizations -- 2.1 Formal Methods -- 2.2 Run-Time Validation Methods -- 3 Testing Multi Wireless Agent Communication -- 3.1 Definitions -- 3.2 Approach Validation -- 4 Conclusion and Future Work -- References -- Towards Integrated Correctness Analysis and Performance Evaluation of Software Systems (Doctoral Forum Paper) -- 1 Introduction -- 2 Objectives and Proposed Solution -- 3 Preliminary Work -- 4 Related Work -- 5 Conclusion -- References -- Security, Trust and Privacy Management -- An Energy Aware Approach to Trust Management Systems for Embedded Multi-Agent Systems -- 1 Introduction -- 2 Trust Management Systems for Embedded Multi-Agent Systems -- 2.1 Security and Trust -- 2.2 Information Sources , 2.3 Models -- 2.4 Vulnerability -- 2.5 Constraints -- 2.6 Trust in Embedded and Distributed Pervasive Systems -- 3 A Multi-Armed Bandit Learning Based Approach -- 3.1 Budgeted Multi-Armed Bandit -- 3.2 Taking into Account TMS Energy Consumption in MAB -- 3.3 Case Study -- 3.4 Results -- 4 Conclusion and Future Work -- References -- Addressing Security Properties in Systems of Systems: Challenges and Ideas -- Abstract -- 1 Introduction -- 2 Security Issues in Systems of Systems -- 2.1 Directed SoS -- 2.2 Collaborative SoS -- 2.3 Acknowledged SoS -- 2.4 Virtual SoS -- 3 Addressing Security -- 3.1 Modeling Security of System of Systems -- 3.2 Testing the Security of System of Systems -- 4 Conclusions -- Acknowledgments -- References -- On the Use of Quality Models to Characterize Trustworthiness Properties -- 1 Introduction -- 2 Background and Quality Model Concepts -- 2.1 Data Anonymization and PRIVAaaS Framework -- 2.2 The LSP Scoring Technique and Quality Model -- 3 Privacy Quality Model: Anonymization and Linkage Attacks -- 4 Lessons Learned and Conclusions -- References -- Author Index

Weitere Ausg.: Erscheint auch als Druck-Ausgabe Calinescu, Radu Software Engineering for Resilient Systems Cham : Springer International Publishing AG,c2019 ISBN 9783030308551

Sprache: Englisch

Fachgebiete: Informatik

Schlagwort(e): Fehlertoleranz ; Zuverlässigkeit ; Software Engineering ; Formale Methode ; Verifikation ; Sicherheitskritisches System ; Konferenzschrift

UID:

Umfang: x, 155 Seiten , Illustrationen, Diagramme

ISBN: 9783030308551

Serie: Lecture notes in computer science 11732

Weitere Ausg.: Erscheint auch als Online-Ausgabe ISBN 978-3-030-30856-8

Sprache: Englisch

Fachgebiete: Informatik

Schlagwort(e): Fehlertoleranz ; Zuverlässigkeit ; Software Engineering ; Formale Methode ; Verifikation ; Sicherheitskritisches System ; Konferenzschrift

Mehr zum Autor: Calinescu, Radu C. 1968-