English
Related papers

Related papers: Specification and Verification of Distributed Embe…

200 papers

Navigating through intersections is one of the main challenging tasks for an autonomous vehicle. However, for the majority of intersections regulated by traffic lights, the problem could be solved by a simple rule-based method in which the…

Robotics · Computer Science 2021-05-04 Alessandro Paolo Capasso , Paolo Maramotti , Anthony Dell'Eva , Alberto Broggi

Using continuous development, deployment, and monitoring (CDDM) to understand and improve applications in a customer's context is widely used for non-safety applications such as smartphone apps or web applications to enable rapid and…

Software Engineering · Computer Science 2024-03-15 Ali Nouri , Christian Berger , Fredrik Torner

The paper proposes a method for the correct by design coordination of autonomous driving systems (ADS). It builds on previous results on collision avoidance policies and the modeling of ADS by combining descriptions of their static…

Multiagent Systems · Computer Science 2022-05-23 Marius Bozga , Joseph Sifakis

The majority of research on safety in autonomous vehicles has been conducted in structured and controlled environments. However, there is a scarcity of research on safety in unregulated pedestrian areas, especially when interacting with…

Robotics · Computer Science 2025-04-22 Enrico Del Re , Novel Certad , Joshua Varughese , Cristina Olaverri-Monreal

Vehicle re-identification plays a crucial role in the management of transportation infrastructure and traffic flow. However, this is a challenging task due to the large view-point variations in appearance, environmental and instance-related…

Computer Vision and Pattern Recognition · Computer Science 2020-04-21 Clint Sebastian , Raffaele Imbriaco , Egor Bondarev , Peter H. N. de With

Paramount to vehicle safety, broadcasted Cooperative Awareness Messages (CAMs) and Decentralized Environmental Notification Messages (DENMs) are pseudonymously authenticated for security and privacy protection, with each node needing to…

Cryptography and Security · Computer Science 2025-05-29 Hongyu Jin , Panos Papadimitratos

Each year, over half of global traffic fatalities involve vulnerable road users (e.g. pedestrians), often due to human error. Level-5 automated driving systems (ADSs) could reduce driver errors contributing to pedestrian accidents, though…

Human-Computer Interaction · Computer Science 2025-07-30 Viktoria Marcus , Griffin Pitts , Sanaz Motamedi

Cellular Vehicle-to-everything (C-V2X) communication has been proposed in the 3rd Generation Partnership Project release 14 standard to address the latency and reliability requirements of cooperative safety applications. Such applications…

Networking and Internet Architecture · Computer Science 2019-06-26 Behrad Toghi , Md Saifuddin , Yaser P. Fallah , M. O. Mughal

Background/Context. The use of automated driving systems (ADSs) in the real world requires rigorous testing to ensure safety. To increase trust, ADSs should be tested on a large set of diverse road scenarios. Literature suggests that if a…

Software Engineering · Computer Science 2022-09-14 Stefan Klikovits , Vincenzo Riccio , Ezequiel Castellano , Ahmet Cetinkaya , Alessio Gambi , Paolo Arcaini

Discrete Event Simulation (DES) is a widely used technique in which the state of the simulator is updated by events happening at discrete points in time (hence the name). DES is used to model and analyze many kinds of systems, including…

Distributed, Parallel, and Cluster Computing · Computer Science 2014-07-25 Luca Toscano , Gabriele D'Angelo , Moreno Marzolla

Rapid urbanization calls for smart traffic management solutions that incorporate sensors, distributed traffic controllers and V2X communication technologies to provide fine-grained traffic control to mitigate congestion. As in many other…

Cryptography and Security · Computer Science 2020-03-10 Pratham Oza , Mahsa Foruhandeh , Ryan Gerdes , Thidapat Chantem

Although advanced traffic management systems can deal with the heterogeneous traffic flows approaching of intersections, their performances are compromised, when the traffic volume is not distributed uniformly. To evenly distribute the…

Other Computer Science · Computer Science 2017-08-03 Fabrício Barros Gonçalves

The Data Distribution Service (DDS) is a widely used communication specification for real-time mission-critical systems that follow the principles of publish-subscribe middleware. DDS has an extensive set of quality of service (QoS)…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-10-26 Kaleem Peeroo , Peter Popov , Vladimir Stankovic

The complexity of digital embedded systems has been increasing in different safety-critical applications such as industrial automation, process control, transportation, and medical digital devices. The correct operation of these systems…

Software Engineering · Computer Science 2022-04-28 Fayhaa Hameedi Khlaif , Shawkat Sabah Khairullah

In this paper, the necessity for application-oriented development and evaluation of Joint Communication and Sensing (JC&S) applications, especially in transportation, is addressed. More specifically, an integrative evaluation chain for…

Signal Processing · Electrical Eng. & Systems 2022-01-31 Paul Schwarzbach , Jonas Ninnemann , Oliver Michler

Hidden communication systems (HCS) embed covert messages within ordinary network activity to hide the presence of communication. In practice, the undetectability of an HCS is typically evaluated using ad hoc traffic statistics or specific…

Cryptography and Security · Computer Science 2026-03-05 Joud Khoury , Minyoung Kim , Christophe Merlin , Jose Meseguer , Zachary Ratliff , Carolyn Talcott

The main problems in transportation are accidents, increasingly slow traffic flow, and pollution. An intelligent transportation system (ITS) using external infrastructure can overcome these problems. For this reason, the number of such…

Robotics · Computer Science 2024-10-28 Christian Creß , Zhenshan Bing , Alois C. Knoll

Traffic intersections are the most suitable locations for the deployment of computing, communications, and intelligence services for smart cities of the future. The abundance of data to be collected and processed, in combination with…

Computer Vision and Pattern Recognition · Computer Science 2022-05-16 Zoran Kostić , Alex Angus , Zhengye Yang , Zhuoxu Duan , Ivan Seskar , Gil Zussman , Dipankar Raychaudhuri

Traffic congestion due to uncertainties, such as accidents, is a significant issue in urban areas, as the ripple effect of accidents causes longer delays, increased emissions, and safety concerns. To address this issue, we propose a robust…

Machine Learning · Computer Science 2025-07-31 Kranthi Kumar Talluri , Galia Weidl , Vaishnavi Kasuluru

Autonomous emergency steering (AES) systems have the promising potential to further reduce traffic fatalities with other (potentially vulnerable) traffic participants by using relatively small lateral deviations to realize collision-free…

Optimization and Control · Mathematics 2022-12-26 Chris van der Ploeg , Ron Wouters , Mart Baars , Anh-Lam Do , François Fauvel