Cybersecurity in mission-critical robotic applications is a necessity to scale deployments
securely. ROS2 builds upon DDS-Security specs in ROS Client Library (RCL) to implement …

Publish-subscribe messaging is a popular communication paradigm in the (Industrial)
Internet of Things, and the Data Distribution Service (DDS) is a well known standard for pub …

Assurance cases have emerged as a way to build trust in complex autonomous systems.
Many assurance case justifications for such systems need to be constantly reevaluated …

The ongoing efforts to deploy safety-critical autonomous robots that operate in semi-
structured, dynamic, and uncertain environments, reinforce the importance of supplementing …

While Urban Air Mobility (UAM) field offers significant societal benefits for small-scale, high-
speed urban transport, the use of unmanned aerial vehicles (UAV) presents challenges due …

Formal verification of robotic applications presents challenges due to their hybrid nature and
distributed architecture. This paper introduces ROSMonitoring 2.0, an extension of …

Publish/subscribe (pub/sub) networks are a cornerstone of modern distributed systems,
playing a crucial role in applications like the Internet of Things (IoT) and robotics. While …

Urban Air Mobility (UAM) is an emerging transport solution for passengers or cargo at lower
altitudes within urban and suburban areas using electric Vertical Take-off and Landing …

Runtime Verification is a formal method to check a run of a system against a specification. To
this end, a monitor is generated from the specification checking the system under scrutiny …

Den økte bruken av autonome robotsystemer har nødvendiggjort fremskritt i sikkerhetstiltak
på grunn av de potensielle farene disse systemene kan utgjøre. Dette økte fokuset på …