Issue Downloads
Formal Specification, Verification and Repair of Contiki’s Scheduler
This article presents an approach for model extraction, formal specification, verification, and repair of the scheduler of Contiki, which is an event-driven lightweight operating system for the Internet of Things (IoT). We first derive a state machine–...
A Reliable Wireless Protocol for Highway and Metered-Ramp CAV Collaborative Merging with Constant-Time-Headway Safety Guarantee
To realize the grand vision of automated driving in smart vehicle cyber-physical systems (CPS), one important task is to support the merging of connected automated vehicles (CAVs) from a metered-ramp to highway. Certain safety rules must be guaranteed. ...
Message Authentication and Provenance Verification for Industrial Control Systems
Successful attacks against industrial control systems (ICSs) often exploit insufficient checking mechanisms. While firewalls, intrusion detection systems, and similar appliances introduce essential checks, their efficacy depends on the attackers’ ability ...
Safe Maintenance of Railways using COTS Mobile Devices: The Remote Worker Dashboard
- Tommaso Zoppi,
- Innocenzo Mungiello,
- Andrea Ceccarelli,
- Alberto Cirillo,
- Lorenzo Sarti,
- Lorenzo Esposito,
- Giuseppe Scaglione,
- Sergio Repetto,
- Andrea Bondavalli
The railway domain is regulated by rigorous safety standards to ensure that specific safety goals are met. Often, safety-critical systems rely on custom hardware-software components that are built from scratch to achieve specific functional and non-...
Investigating the Security of EV Charging Mobile Applications as an Attack Surface
The adoption rate of EVs has witnessed a significant increase in recent years driven by multiple factors, chief among which is the increased flexibility and ease of access to charging infrastructure. To improve user experience and increase system ...
HPRoP: Hierarchical Privacy-preserving Route Planning for Smart Cities
- Francis Tiausas,
- Keiichi Yasumoto,
- Jose Paolo Talusan,
- Hayato Yamana,
- Hirozumi Yamaguchi,
- Shameek Bhattacharjee,
- Abhishek Dubey,
- Sajal K. Das
Route Planning Systems (RPS) are a core component of autonomous personal transport systems essential for safe and efficient navigation of dynamic urban environments with the support of edge-based smart city infrastructure, but they also raise concerns ...
Periodic Event-Triggered CACC and Communication Co-design for Vehicle Platooning
Cooperative Adaptive Cruise Control (CACC) based vehicle platooning can increase the safety and efficiency of traffic. This work looks into the communication and control problems of vehicle platooning, and proposes a control and communication co-design ...
Event-Triggered Control with Intermittent Communications over Erasure Channels for Leader–Follower Problems with the Combined-Slip Effect
In this article, we investigate the vehicle path-following problem for a vehicle-to-vehicle (V2V)–enabled leader–follower scenario and propose an integrated control policy for the following vehicle to accurately follow the leader’s path. We propose a ...
