Deep machine learning model-based cyber-attacks detection in smart power systems
A Almalaq, S Albadran, MA Mohamed - Mathematics, 2022 - mdpi.com
In this study, a deep learning-based attack detection model is proposed to address the
problem of system disturbances in energy systems caused by natural events like storms and …
problem of system disturbances in energy systems caused by natural events like storms and …
Identifying run-time monitoring requirements for autonomous systems through the analysis of safety arguments
R Hawkins, P Ryan Conmy - … on Computer Safety, Reliability, and Security, 2023 - Springer
It is crucial that safety assurance continues to be managed for autonomous systems (AS)
throughout their operation. This can be particularly challenging where AS operate in …
throughout their operation. This can be particularly challenging where AS operate in …
A component framework for the runtime enforcement of safety properties
Safety assurance of a complex system cannot be completely ensured at
design/development time since most uncertainties and unknowns are revealed when the …
design/development time since most uncertainties and unknowns are revealed when the …
[HTML][HTML] Synthesis-based engineering of supervisory controllers for ROS-based applications
An ever-increasing number of robotic applications is being created based on the
functionalities and the communication facilities offered by the Robotic Operating System …
functionalities and the communication facilities offered by the Robotic Operating System …
Driving Towards Safety: Open Challenges in Safeguarding CPS-IoT for Cooperative Intelligent Transportation System
Cooperative Intelligent Transportation System (C-ITS) is a prime example of Cyber-Physical
System (CPS)-Internet of Things (IoT), in that the mechanics are combined with electronic …
System (CPS)-Internet of Things (IoT), in that the mechanics are combined with electronic …
Handling uncertainties of data-driven models in compliance with safety constraints for autonomous behaviour
Assuring safety is a key challenge for market introduction of many kinds of autonomous
systems. This is especially true in cases where data-driven models (DDMs) such as deep …
systems. This is especially true in cases where data-driven models (DDMs) such as deep …
STPA-driven multilevel runtime monitoring for In-time hazard detection
S Gautham, G Bakirtzis, A Will, AV Jayakumar… - … on Computer Safety …, 2022 - Springer
Runtime verification or runtime monitoring equips safety-critical cyber-physical systems to
augment design assurance measures and ensure operational safety and security. Cyber …
augment design assurance measures and ensure operational safety and security. Cyber …
Towards enhanced monitoring framework with smart predictions
Context: Predicting security and trust vulnerabilities and issues is crucial for IoT
interconnected systems and ecosystems, especially when integrating new, third-party or …
interconnected systems and ecosystems, especially when integrating new, third-party or …
Challenges for Quantum Software Engineering: An Industrial Application Scenario Perspective
Quantum software is becoming a key enabler for applying quantum computing to industrial
use cases. This poses challenges to quantum software engineering in providing efficient …
use cases. This poses challenges to quantum software engineering in providing efficient …
Holistic Perspectives on Safety of Automated Driving Systems-Methods for Provision of Evidence
In recent years, the enormous investments in Automated Driving Systems (ADSs) have
distinctly advanced ADS technologies. Despite promises made by several high profile auto …
distinctly advanced ADS technologies. Despite promises made by several high profile auto …