Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Dependable Computing - EDCC 2020 Workshops [[electronic resource] ] : AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings / / edited by Simona Bernardi, Valeria Vittorini, Francesco Flammini, Roberto Nardone, Stefano Marrone, Rasmus Adler, Daniel Schneider, Philipp Schleiß, Nicola Nostro, Rasmus Løvenstein Olsen, Amleto Di Salle, Paolo Masci
| Dependable Computing - EDCC 2020 Workshops [[electronic resource] ] : AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings / / edited by Simona Bernardi, Valeria Vittorini, Francesco Flammini, Roberto Nardone, Stefano Marrone, Rasmus Adler, Daniel Schneider, Philipp Schleiß, Nicola Nostro, Rasmus Løvenstein Olsen, Amleto Di Salle, Paolo Masci |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (226 pages) |
| Disciplina | 006.3 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Software engineering
Artificial intelligence Computer communication systems Architecture, Computer Application software Education—Data processing Software Engineering Artificial Intelligence Computer Communication Networks Computer System Implementation Computer Applications Computers and Education |
| ISBN | 3-030-58462-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Workshop on Articial Intelligence for RAILwayS (AI4RAILS) -- Worskhop on Dynamic Risk managEment for AutonomousSystems (DREAMS) -- Workshop on Dependable SOlutions for IntelligentElectricity Distribution GRIds (DSOGRI) -- Workshop on Software Engineering for Resilient Systems (SERENE). |
| Record Nr. | UNISA-996465368803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Dependable Computing - EDCC 2020 Workshops : AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings / / edited by Simona Bernardi, Valeria Vittorini, Francesco Flammini, Roberto Nardone, Stefano Marrone, Rasmus Adler, Daniel Schneider, Philipp Schleiß, Nicola Nostro, Rasmus Løvenstein Olsen, Amleto Di Salle, Paolo Masci
| Dependable Computing - EDCC 2020 Workshops : AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings / / edited by Simona Bernardi, Valeria Vittorini, Francesco Flammini, Roberto Nardone, Stefano Marrone, Rasmus Adler, Daniel Schneider, Philipp Schleiß, Nicola Nostro, Rasmus Løvenstein Olsen, Amleto Di Salle, Paolo Masci |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (226 pages) |
| Disciplina |
006.3
005.1 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Software engineering
Artificial intelligence Computer communication systems Architecture, Computer Application software Education—Data processing Software Engineering Artificial Intelligence Computer Communication Networks Computer System Implementation Computer Applications Computers and Education |
| ISBN | 3-030-58462-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Workshop on Articial Intelligence for RAILwayS (AI4RAILS) -- Worskhop on Dynamic Risk managEment for AutonomousSystems (DREAMS) -- Workshop on Dependable SOlutions for IntelligentElectricity Distribution GRIds (DSOGRI) -- Workshop on Software Engineering for Resilient Systems (SERENE). |
| Record Nr. | UNINA-9910416078503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Dependable computing - EDCC 2021 Workshops : DREAMS, DSOGRI, SERENE 2021, Munich, Germany, September 13, 2021, proceedings / / Rasmus Adler [and nine others]
| Dependable computing - EDCC 2021 Workshops : DREAMS, DSOGRI, SERENE 2021, Munich, Germany, September 13, 2021, proceedings / / Rasmus Adler [and nine others] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer International Publishing, , [2021] |
| Descrizione fisica | 1 online resource (164 pages) |
| Disciplina | 004.16 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Electronic digital computers - Reliability
Fault-tolerant computing |
| ISBN | 3-030-86507-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- Workshop on Dynamic Risk managEment for AutonoMous Systems (DREAMS) -- Second Workshop on Dynamic Risk managEment for AutonoMous Systems (DREAMS) -- Workshop Description -- Towards a Software Component to Perform Situation-Aware Dynamic Risk Assessment for Autonomous Vehicles -- 1 Introduction -- 2 Situation-Aware Dynamic Risk Assessment (SINADRA) -- 3 SINADRA Python Implementation in CARLA -- 4 Usage Example: Front Vehicle Braking Risk -- 5 Conclusion and Outlook -- References -- Service-Oriented Reconfiguration in Systems of Systems Assured by Dynamic Modular Safety Cases -- 1 Introduction -- 2 Related Work -- 2.1 Dynamic Reconfiguration -- 2.2 Safety Assurance -- 3 Service-Oriented Reconfiguration -- 3.1 Service-Oriented Architecture -- 3.2 Blueprints and Configurations -- 3.3 Reconfiguration Sequence -- 4 Safe Reconfiguration Using Dynamic Modular Safety Cases -- 5 SoR Example Including DMSC Integration -- 6 Conclusion and Future Research -- References -- Behavior Prediction of Cyber-Physical Systems for Dynamic Risk Assessment -- 1 Introduction -- 2 Behavior Prediction Under Uncertainty -- 2.1 Calculating Reachable States -- 2.2 Modeling Agent Interactions -- 2.3 Illustrative Example -- 3 Risk Assessment -- 4 Conclusion -- References -- Autonomic Service Operation for Cloud Applications: Safe Actuation and Risk Management -- 1 Introduction -- 2 Challenges of Autonomic Service Operation -- 3 Autonomic Service Operations Architecture -- 4 Implementation -- 5 Validation and Experimental Results -- 6 Conclusion -- References -- Workshop on Dependable SOlutions for Intelligent Electricity Distribution GRIds (DSOGRI) -- DSOGRI - Workshop on Dependable Solutions for Intelligent Electricity Distribution Grid -- Workshop Description -- An ICT System to Assist Earth Fault Localization -- 1 Introduction.
1.1 Motivation -- 1.2 Challenges -- 1.3 Contributions -- 2 Related Work -- 2.1 ICT Architectures -- 2.2 Fault Detection -- 3 Architecture Overview -- 3.1 Earth Fault Detection Process and System Design -- 3.2 Message Queuing Telemetry Transport (MQTT) -- 3.3 Data Fusion Hub (DFH) -- 3.4 Earth Fault Application (EFA) -- 4 Results and Discussion -- 4.1 MQTT Evaluation -- 4.2 Information Flow -- 5 Conclusion and Outlook -- References -- Power Loss Reduction in Low-Voltage Distribution Grids via Coordinated Reactive Power Management of PV Inverters -- 1 Introduction -- 2 Control Coordination Application and Local Control -- 2.1 Q(V) Local Control at Inverters -- 2.2 Loss Minimization -- 2.3 Flowchart of Control Coordination Application -- 3 Case Study -- 3.1 Loss Minimization -- 3.2 Discussion -- 4 Conclusions and Future Works -- References -- Enabling a Zero Trust Architecture in Smart Grids Through a Digital Twin -- 1 Introduction -- 2 Current State of the Methodology -- 3 Proposed Upgrade of the Methodology -- 3.1 The Control View -- 3.2 The Digital Twin -- 3.3 Leveraging DT and CV for a Zero Trust Architecture -- 4 Related Work -- 5 Conclusion and Future Work -- References -- Field Test Validation of Low Voltage Grid Applications in a Danish Setting -- 1 Background and Motivation -- 2 System Architecture -- 2.1 Field Trial Deployment -- 2.2 Access to Advanced Metering Infrastructure (AMI) -- 2.3 Access to PV Inverters -- 2.4 Access to Grid Topology -- 3 Assessment, Validation and Learnings -- 4 Conclusions and Outlook -- References -- Increased Renewable Hosting Capacity of a Real Low-Voltage Grid Based on Continuous Measurements - Results from an Actual PV Connection Request -- 1 Introduction -- 2 Field Trial Setup and PV Connection Case -- 2.1 Field Trial Architecture: Topology and Measurement Points -- 2.2 Digital Twin and Grid Monitoring Solution. 2.3 PV Connection Request and Baseline Method -- 3 Planning Based on a Digital Twin with Real Measurement Data -- 3.1 Grid Planning Approach -- 3.2 Performance of Case Study -- 3.3 Summary of Results -- 4 Discussion and Outlook -- References -- Workshop on Software Engineering for Resilient Systems (SERENE) -- En -- Workshop Description -- Automated Generation of Configurable Cloud-Native Chaos Testbeds -- 1 Introduction -- 2 Specifying Testbed Applications -- 3 Running Testbed Applications -- 4 Showcasing Chaos Echo -- 5 Conclusions -- References -- The Impact of Rare Container Restarts on Uninterrupted Kubernetes Operations -- 1 Introduction -- 2 Utilization Dependency of Restart Times -- 2.1 Experiments and Campaign -- 2.2 Exploratory Analysis -- 2.3 Characterizing Long-Tailedness -- 3 Inferring KPIs from Container Restart Observations -- 4 Deployment Design for Uninterrupted Operation -- 4.1 Homogeneous Sweeps -- 4.2 Random Portfolio with Fixed 15 Nodes Sweeps -- 5 Conclusion -- References -- EA Blueprint: An Architectural Pattern for Resilient Digital Twin of the Organization -- 1 Introduction -- 2 Resilient DTO Context -- 2.1 Example of Resilient DTO -- 3 The EA Blueprint Pattern -- 3.1 Business Architecture (BA) -- 3.2 Information Architecture (IA) -- 3.3 Synchronization -- 4 Related Work -- 5 Conclusion -- References -- Assisting Developers in Preventing Permissions Related Security Issues in Android Applications -- 1 Introduction -- 2 Android Permission System Evolution -- 3 Permission Security Model -- 4 PermDroid Security Properties -- 5 PermDroid Design and Implementation -- 6 Experimentation -- 7 Related Works -- 8 Conclusion and Future Work -- References -- Design of a Trustworthy and Resilient Data Sharing Platform for Healthcare Provision -- 1 Introduction -- 2 Data Sharing Platform Design. 3 Blockchain and Data Lake Components Resilience -- 4 Conclusion -- References -- Author Index. |
| Record Nr. | UNISA-996464515803316 |
| Cham, Switzerland : , : Springer International Publishing, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Dependable computing - EDCC 2021 Workshops : DREAMS, DSOGRI, SERENE 2021, Munich, Germany, September 13, 2021, proceedings / / Rasmus Adler [and nine others]
| Dependable computing - EDCC 2021 Workshops : DREAMS, DSOGRI, SERENE 2021, Munich, Germany, September 13, 2021, proceedings / / Rasmus Adler [and nine others] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer International Publishing, , [2021] |
| Descrizione fisica | 1 online resource (164 pages) |
| Disciplina | 004.16 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Electronic digital computers - Reliability
Fault-tolerant computing |
| ISBN | 3-030-86507-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- Workshop on Dynamic Risk managEment for AutonoMous Systems (DREAMS) -- Second Workshop on Dynamic Risk managEment for AutonoMous Systems (DREAMS) -- Workshop Description -- Towards a Software Component to Perform Situation-Aware Dynamic Risk Assessment for Autonomous Vehicles -- 1 Introduction -- 2 Situation-Aware Dynamic Risk Assessment (SINADRA) -- 3 SINADRA Python Implementation in CARLA -- 4 Usage Example: Front Vehicle Braking Risk -- 5 Conclusion and Outlook -- References -- Service-Oriented Reconfiguration in Systems of Systems Assured by Dynamic Modular Safety Cases -- 1 Introduction -- 2 Related Work -- 2.1 Dynamic Reconfiguration -- 2.2 Safety Assurance -- 3 Service-Oriented Reconfiguration -- 3.1 Service-Oriented Architecture -- 3.2 Blueprints and Configurations -- 3.3 Reconfiguration Sequence -- 4 Safe Reconfiguration Using Dynamic Modular Safety Cases -- 5 SoR Example Including DMSC Integration -- 6 Conclusion and Future Research -- References -- Behavior Prediction of Cyber-Physical Systems for Dynamic Risk Assessment -- 1 Introduction -- 2 Behavior Prediction Under Uncertainty -- 2.1 Calculating Reachable States -- 2.2 Modeling Agent Interactions -- 2.3 Illustrative Example -- 3 Risk Assessment -- 4 Conclusion -- References -- Autonomic Service Operation for Cloud Applications: Safe Actuation and Risk Management -- 1 Introduction -- 2 Challenges of Autonomic Service Operation -- 3 Autonomic Service Operations Architecture -- 4 Implementation -- 5 Validation and Experimental Results -- 6 Conclusion -- References -- Workshop on Dependable SOlutions for Intelligent Electricity Distribution GRIds (DSOGRI) -- DSOGRI - Workshop on Dependable Solutions for Intelligent Electricity Distribution Grid -- Workshop Description -- An ICT System to Assist Earth Fault Localization -- 1 Introduction.
1.1 Motivation -- 1.2 Challenges -- 1.3 Contributions -- 2 Related Work -- 2.1 ICT Architectures -- 2.2 Fault Detection -- 3 Architecture Overview -- 3.1 Earth Fault Detection Process and System Design -- 3.2 Message Queuing Telemetry Transport (MQTT) -- 3.3 Data Fusion Hub (DFH) -- 3.4 Earth Fault Application (EFA) -- 4 Results and Discussion -- 4.1 MQTT Evaluation -- 4.2 Information Flow -- 5 Conclusion and Outlook -- References -- Power Loss Reduction in Low-Voltage Distribution Grids via Coordinated Reactive Power Management of PV Inverters -- 1 Introduction -- 2 Control Coordination Application and Local Control -- 2.1 Q(V) Local Control at Inverters -- 2.2 Loss Minimization -- 2.3 Flowchart of Control Coordination Application -- 3 Case Study -- 3.1 Loss Minimization -- 3.2 Discussion -- 4 Conclusions and Future Works -- References -- Enabling a Zero Trust Architecture in Smart Grids Through a Digital Twin -- 1 Introduction -- 2 Current State of the Methodology -- 3 Proposed Upgrade of the Methodology -- 3.1 The Control View -- 3.2 The Digital Twin -- 3.3 Leveraging DT and CV for a Zero Trust Architecture -- 4 Related Work -- 5 Conclusion and Future Work -- References -- Field Test Validation of Low Voltage Grid Applications in a Danish Setting -- 1 Background and Motivation -- 2 System Architecture -- 2.1 Field Trial Deployment -- 2.2 Access to Advanced Metering Infrastructure (AMI) -- 2.3 Access to PV Inverters -- 2.4 Access to Grid Topology -- 3 Assessment, Validation and Learnings -- 4 Conclusions and Outlook -- References -- Increased Renewable Hosting Capacity of a Real Low-Voltage Grid Based on Continuous Measurements - Results from an Actual PV Connection Request -- 1 Introduction -- 2 Field Trial Setup and PV Connection Case -- 2.1 Field Trial Architecture: Topology and Measurement Points -- 2.2 Digital Twin and Grid Monitoring Solution. 2.3 PV Connection Request and Baseline Method -- 3 Planning Based on a Digital Twin with Real Measurement Data -- 3.1 Grid Planning Approach -- 3.2 Performance of Case Study -- 3.3 Summary of Results -- 4 Discussion and Outlook -- References -- Workshop on Software Engineering for Resilient Systems (SERENE) -- En -- Workshop Description -- Automated Generation of Configurable Cloud-Native Chaos Testbeds -- 1 Introduction -- 2 Specifying Testbed Applications -- 3 Running Testbed Applications -- 4 Showcasing Chaos Echo -- 5 Conclusions -- References -- The Impact of Rare Container Restarts on Uninterrupted Kubernetes Operations -- 1 Introduction -- 2 Utilization Dependency of Restart Times -- 2.1 Experiments and Campaign -- 2.2 Exploratory Analysis -- 2.3 Characterizing Long-Tailedness -- 3 Inferring KPIs from Container Restart Observations -- 4 Deployment Design for Uninterrupted Operation -- 4.1 Homogeneous Sweeps -- 4.2 Random Portfolio with Fixed 15 Nodes Sweeps -- 5 Conclusion -- References -- EA Blueprint: An Architectural Pattern for Resilient Digital Twin of the Organization -- 1 Introduction -- 2 Resilient DTO Context -- 2.1 Example of Resilient DTO -- 3 The EA Blueprint Pattern -- 3.1 Business Architecture (BA) -- 3.2 Information Architecture (IA) -- 3.3 Synchronization -- 4 Related Work -- 5 Conclusion -- References -- Assisting Developers in Preventing Permissions Related Security Issues in Android Applications -- 1 Introduction -- 2 Android Permission System Evolution -- 3 Permission Security Model -- 4 PermDroid Security Properties -- 5 PermDroid Design and Implementation -- 6 Experimentation -- 7 Related Works -- 8 Conclusion and Future Work -- References -- Design of a Trustworthy and Resilient Data Sharing Platform for Healthcare Provision -- 1 Introduction -- 2 Data Sharing Platform Design. 3 Blockchain and Data Lake Components Resilience -- 4 Conclusion -- References -- Author Index. |
| Record Nr. | UNINA-9910503009003321 |
| Cham, Switzerland : , : Springer International Publishing, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Dependable Computing – EDCC 2024 Workshops [[electronic resource] ] : SafeAutonomy, TRUST in BLOCKCHAIN, Leuven, Belgium, April 8, 2024, Proceedings / / edited by Behrooz Sangchoolie, Rasmus Adler, Richard Hawkins, Philipp Schleiss, Alessia Arteconi, Adriano Mancini
| Dependable Computing – EDCC 2024 Workshops [[electronic resource] ] : SafeAutonomy, TRUST in BLOCKCHAIN, Leuven, Belgium, April 8, 2024, Proceedings / / edited by Behrooz Sangchoolie, Rasmus Adler, Richard Hawkins, Philipp Schleiss, Alessia Arteconi, Adriano Mancini |
| Autore | Sangchoolie Behrooz |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (140 pages) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
AdlerRasmus
HawkinsRichard SchleissPhilipp ArteconiAlessia ManciniAdriano |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Software engineering
Artificial intelligence Computers, Special purpose Computer networks Software Engineering Artificial Intelligence Special Purpose and Application-Based Systems Computer Communication Networks |
| ISBN | 3-031-56776-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Workshop on Safe Autonomous Systems (SafeAutonomy) -- Providing Evidence For The Validity Of The Virtual Verification Of Automated Driving Systems -- What Level of Power should we give an Automation? - Adjusting the Level of Automation In HCPS -- A Physics-based Fault Tolerance Mechanism for UAVs’ Flight Controller -- A Defining an Effective Context for the Safe Operation of Autonomous Systems -- Towards Continuous Assurance Case Creation for ADS with the Evidential Tool Bus -- STARS: A Tool for Measuring Scenario Coverage When Testing Autonomous Robotic Systems -- Workshop on Blockchain Technology and Artificial Intelligence in Smart Cities (TRUST IN BLOCKCHAIN) -- Spatial-Temporal Graph Neural Network for Detecting and Localizing Anomalies in PMU Networks -- On the application of blockchain technology in microgrids -- Power System Transient Stability Prediction in the Face of Cyber Attacks: Employing LSTM-AE to Combat Falsified PMU Data -- Legal Framework on Trustworthy Artificial Intelligence and Blockchain Technology Application -- An Exploratory Study on Trust in Blockchain-Enabled Energy Trading -- Inspecting Bridges and Critical Infrastructure: an AI and Blockchain. |
| Record Nr. | UNINA-9910845490303321 |
Sangchoolie Behrooz
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||