Formal methods and validation techniques for ensuring automotive systems security

M Krichen - Information, 2023 - mdpi.com
The increasing complexity and connectivity of automotive systems have raised concerns
about their vulnerability to security breaches. As a result, the integration of formal methods …

Synergies and Potential of Industry 4.0 and Automated Vehicles in Smart City Infrastructure

M Kaššaj, T Peráček - Applied Sciences, 2024 - mdpi.com
The integration of Industry 4.0 and automated vehicles into the smart cities concept is a
topical issue in the urbanization of cities and technological innovation within cities. As it is a …

Enhancing Cybersecurity through Automated Infrastructure Management: A Comprehensive Study on Optimizing Security Measures

A Yaseen - Quarterly Journal of Emerging Technologies and …, 2024 - vectoral.org
The present research discusses the integration of automated infrastructure management
(AIM) in fortifying cybersecurity measures within organizational settings. The study employs …

A novel framework for detection and prevention of denial of service attacks on autonomous vehicles using fuzzy logic

M Sadaf, Z Iqbal, Z Anwar, U Noor, M Imran… - Vehicular …, 2024 - Elsevier
Every year, millions of people lose their lives due to road accidents, and countless others
suffer from severe injuries. Moreover, these accidents cause economic losses worldwide …

Survey On Opportunistic PNT With Signals From LEO Communication Satellites

W Stock, RT Schwarz, CA Hofmann… - … Surveys & Tutorials, 2024 - ieeexplore.ieee.org
Positioning, Navigation, and Timing (PNT) is an essential service for modern societies, their
industries, and governmental organizations. Mobility, logistics, and agriculture, among …

BOppCL: Blockchain-Enabled Opportunistic Federated Learning Applied in Intelligent Transportation Systems

Q Li, W Wang, Y Zhu, Z Ying - Electronics, 2023 - mdpi.com
In this paper, we present a novel blockchain-enabled approach to opportunistic federated
learning (OppCL) for intelligent transportation systems (ITS). Our approach integrates …

[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 …

Tourists' pro-environmental behaviour in an autonomous vehicle's adoption: aligning the integration of value-belief-norm theory and the theory of planned behaviour

S Khan, Q Zhang, IU Khan, SU Khan… - Current Issues in …, 2024 - Taylor & Francis
Automated vehicles powered by artificial intelligence (AI) represent some of the most
disruptive technologies with broad social implications, including increasing safety for …

Driver-to-Driver Communication Skills: Contributing Factors to Traffic Accidents on South African Roads?

JA Adedeji, XE Feikie, D Dijanic - Sustainability, 2024 - mdpi.com
Road traffic accidents are associated with different factors, such as nonsignalised road
networks, inexperienced drivers, a lack of communication skills, distraction, and the visual or …

[HTML][HTML] Enhancing Autonomous Driving Navigation Using Soft Actor-Critic

BB Elallid, N Benamar, M Bagaa, Y Hadjadj-Aoul - Future Internet, 2024 - mdpi.com
Autonomous vehicles have gained extensive attention in recent years, both in academia and
industry. For these self-driving vehicles, decision-making in urban environments poses …