Robotic systems are widely used in industry, agriculture, the inspection of infrastructure, and even in our daily lives. The safety and security of robotic systems have become a primary concern as their interaction with humans increases. In this context, attacks on robotic systems have increased for diversified field applications. It is necessary to accurately detect these abnormal events in these systems as soon as possible. However, these systems also need a runtime verification approach on whether they conform to the established specifications. In this study, runtime verification for anomaly detection methods is proposed for the security of the robot operating system (ROS). Firstly, an anomaly detection method is proposed to detect unexpected situations, such as the number of the received packages being decreased under DoS attacks. Then, a holistic runtime verification architecture is proposed for the anomaly detection method. This architecture consists of three major entities: a verification device, an attacker device, and a robotic platform without losing generality. In the verification device, ROSMonitoring and Oracle are used to implement runtime verification. The proposed architecture is verified through an experimental setup. It is shown that the architecture can be used for runtime verification of different anomaly detection algorithms. A discussion on the security of robotic systems is also presented.

The emergence of robotic technologies has made a significant contribution in industry. Robot Operating System (ROS) is becoming a standard framework for industrial systems uses as a middleware system with many versions. However, the initial design of ROS does not include cyber-security concepts. The intense interest in robot systems, the security concerns and vulnerabilities of these systems have started to attract the attention of attackers. One of these attacks is DoS attack that targeting system availability by slowing down or crashing a service rather than obtaining the information or system. In this study, the impact of DoS attack has been analyzed in various scenarios for both in application and transport layer of the ROS middleware.In the experiments four different volume of DoS attacks are performed in five different experiment scenarios on ROS. To understand the impact of DoS attack, network traffics are monitored using Tshark. The resulting effects measured with some Quality of Service parameters that are delay and packet loss.

Designing fleet management systems with built-in fault tolerance across vehicles, operators, environment, communication, and software components is critical to ensuring the long-term sustainability of operations. A key design priority is to minimise the negative impacts of vehicle failures on operational processes. Ensuring operational continuity in the transport sector requires proactive strategies for anticipating and resolving such failures. In this study, rerouting is carried out using recovery plans that are proactively generated based on existing vehicle routes to address potential electric vehicle failures. The proposed system performs rerouting while considering time window constraints through the Regret-2 and 2-opt approaches. If a charging need arises on the newly created routes, the vehicle is directed to a charging station suitable for the route. Simulation results conducted within the scope of test scenarios demonstrate that the proposed approach not only ensures service continuity but also addresses battery, load, and time constraints. This study creates potential for a fault-tolerant planning system by offering proactive solutions for vehicle failures within the scope of dynamic rerouting in fleet management software.