Safety-critical traffic control by connected automated vehicles

Improving Travel times for Emergency Response Vehicles: Traffic Control Strategies Based on Connected Vehicles Technologies

On Control Strategy and Safety Verification of Automated Vehicles

Over the last few decades, congested traffic network have become a serious problem in many countries. Congestions result in time losses, increase of fuel consumption, increase of CO2 emissions and also raise the risk of accidents. While developing the road networks is not a feasible solution in many countries, intelligent transportation systems (ITS) may contribute to mitigate such problems. It...

Safety Requirement Specifications for Connected Vehicles

In the coming years, transportation system will be revamped in a manner that there will be more intellig ent and autonomous vehicle phenomenon around us s uch as smart cars, auto driving system, etc. Some of a utomotive industries are already producing smart cars . However, the main concern of this paper is on the in frastructure for connected vehicles, which can suppor t such intelligent trans...

Simulation-Based Automated Verification of Safety-Critical Chassis-Control Systems

This paper presents and exemplifies a novel methodology to perform simulation-based automated testing for verification of complex chassis-control systems. The methods are derived from computer-game principles and regard the system under test as an opponent that is defeated when the specification is violated. The methodology is demonstrated on an auto-coding implementation of a brake-blending fu...

Traffic Congestion Detection System through Connected Vehicles and Big Data

This article discusses the simulation and evaluation of a traffic congestion detection system which combines inter-vehicular communications, fixed roadside infrastructure and infrastructure-to-infrastructure connectivity and big data. The system discussed in this article permits drivers to identify traffic congestion and change their routes accordingly, thus reducing the total emissions of CO₂ ...