Titlebook: Dependable Computing – EDCC 2024 Workshops; SafeAutonomy, TRUST Behrooz Sangchoolie,Rasmus Adler,Adriano Mancini Conference proceedings 20

Collar

Ingest

Defining an?Effective Context for?the?Safe Operation of?Autonomous Systemsystem (AS). For traditional systems, a human is trusted to provide an oversight of operations, and react safely to unexpected scenarios that occur. For AS we cannot necessarily rely on human oversight to handle unexpected events, and must therefore be more confident that all possible hazardous scena

ascetic

Towards Continuous Assurance Case Creation for?ADS with?the?Evidential Tool Busan be not avoided, system-specific instantiations of assurance case patterns are both costly and time-consuming. It becomes especially complex to maintain an assurance case for a system when the requirements of the System-Under-Assurance change, or an assurance claim becomes invalid due to, e.g., de

小鹿

STARS: A Tool for?Measuring Scenario Coverage When Testing Autonomous Robotic Systemsthe automotive domain. To enable statements on the absolute number or fractions of tested scenarios, methods and tools for computing their coverage are needed. In this paper, we present STARS, a tool for specifying semantic environment features and measuring scenario coverage when testing autonomous

哺乳動(dòng)物

Spatial-Temporal Graph Neural Network for Detecting and Localizing Anomalies in PMU Networkser systems. PMUs, being cyber-physical devices, are susceptible to cyber-attacks, such as false data injection (FDI). As FDI can lead to incorrect state estimation and subsequent destructive impacts, the prompt detection of falsified data is crucial to preclude such adverse outcomes. In response to

剛毅

使尷尬

Power System Transient Stability Prediction in the Face of Cyber Attacks: Employing LSTM-AE to Combawidely used in transient stability prediction (TSP), significantly contributing to the effective maintenance of power systems post-contingency stability. The accuracy and reliability of data derived from PMUs are crucial for the effective execution of TSP. However, the PMU data is at risk of being c

CBC471

Salivary-Gland

An Exploratory Study on Trust in Blockchain-Enabled Energy Tradingrids. The research highlights the various benefits BCT brings to P2P energy trading, such as improved efficiency, cost reduction, and the optimization of renewable energy distribution. However, it also identifies significant barriers to the contribution of BCT to the removal of trust in this context

提名

Inspecting Bridges and?Critical Infrastructure: An AI and?Blockchain Approachde. Traditional inspection methods are often time-consuming, prone to human error, and can be economically taxing. The advent of advanced technologies such as Artificial Intelligence (AI) and blockchain offers a transformative approach to inspecting and maintaining these structures. In this extended