[HTML][HTML] An overview of verification and validation challenges for inspection robots

M Fisher, RC Cardoso, EC Collins, C Dadswell… - Robotics, 2021 - mdpi.com
The advent of sophisticated robotics and AI technology makes sending humans into
hazardous and distant environments to carry out inspections increasingly avoidable. Being …

An exploratory analysis of the last frontier: A systematic literature review of cybersecurity in space

G Kavallieratos, S Katsikas - International Journal of Critical Infrastructure …, 2023 - Elsevier
Nowadays, assets in space are vital for the provision of critical societal functions such as
transportation, communication, production and supply of food, agriculture, etc. The …

Reinforcement learning for security-aware computation offloading in satellite networks

S Sthapit, S Lakshminarayana, L He… - IEEE Internet of …, 2021 - ieeexplore.ieee.org
The rise of NewSpace provides a platform for small and medium businesses to commercially
launch and operate satellites in space. In contrast to traditional satellites, NewSpace …

[HTML][HTML] Formal modelling and runtime verification of autonomous grasping for active debris removal

M Farrell, N Mavrakis, A Ferrando, C Dixon… - Frontiers in Robotics …, 2022 - frontiersin.org
Active debris removal in space has become a necessary activity to maintain and facilitate
orbital operations. Current approaches tend to adopt autonomous robotic systems which are …

Challenges in threat modelling of new space systems: A teleoperation use-case

UI Atmaca, C Maple, G Epiphaniou - Advances in Space Research, 2022 - Elsevier
A growing number of adversaries are targeting space missions, and as such, there have
been increasing academic and industrial efforts in identifying threats and risks through …

[HTML][HTML] A review of verification and validation for space autonomous systems

RC Cardoso, G Kourtis, LA Dennis, C Dixon… - Current Robotics …, 2021 - Springer
Abstract Purpose of Review The deployment of hardware (eg, robots, satellites, etc.) to
space is a costly and complex endeavor. It is of extreme importance that on-board systems …

Exploring Communication Architectures in Microgrids: Applications and Scenarios

B Arbab-Zavar, S Golestan, JC Vasquez… - IEEE Industrial …, 2023 - ieeexplore.ieee.org
Microgrids (MGs) have gained popularity in various scenarios, such as maritime, space, and
terrestrial applications. In all of these scenarios, machine-to-machine (M2M) communication …

[HTML][HTML] State-of-the-Art Authentication and Verification Schemes in VANETs: A Survey

S Mazhar, A Rakib, L Pan, F Jiang, A Anwar… - Vehicular …, 2024 - Elsevier
ABSTRACT Vehicular Ad-Hoc Networks (VANETs), a subset of Mobile Ad-Hoc Networks
(MANETs), are wire-less networks formed around moving vehicles, enabling communication …

Evolution of the IEEE P7009 standard: Towards fail-safe design of autonomous systems

M Farrell, M Luckcuck, L Pullum… - 2021 IEEE …, 2021 - ieeexplore.ieee.org
Autonomous systems are complex, diverse, and likely be used in environments that change
unpredictably. We must develop mechanisms to cope with failures, potentially caused by …

Security-minded verification of cooperative awareness messages

M Farrell, M Bradbury, RC Cardoso… - … on Dependable and …, 2023 - ieeexplore.ieee.org
Autonomous robotic systems systems are both safety-and security-critical, since a breach in
system security may impact safety. In such critical systems, formal verification is used to …