scholarly journals Verification of the European Rail Traffic Management System in Real-Time Maude

2018 ◽  
Vol 154 ◽  
pp. 61-88 ◽  
Author(s):  
Ulrich Berger ◽  
Phillip James ◽  
Andrew Lawrence ◽  
Markus Roggenbach ◽  
Monika Seisenberger
2021 ◽  
Vol 17 ◽  
pp. 100232
Author(s):  
Federico Cuppi ◽  
Valeria Vignali ◽  
Claudio Lantieri ◽  
Luca Rapagnà ◽  
Nicola Dimola ◽  
...  

Author(s):  
Solomon Adegbenro Akinboro ◽  
Johnson A Adeyiga ◽  
Adebayo Omotosho ◽  
Akinwale O Akinwumi

<p><strong>Vehicular traffic is continuously increasing around the world, especially in urban areas, and the resulting congestion ha</strong><strong>s</strong><strong> be</strong><strong>come</strong><strong> a major concern to automobile users. The popular static electric traffic light controlling system can no longer sufficiently manage the traffic volume in large cities where real time traffic control is paramount to deciding best route. The proposed mobile traffic management system provides users with traffic information on congested roads using weighted sensors. A prototype of the system was implemented using Java SE Development Kit 8 and Google map. The model </strong><strong>was</strong><strong> simulated and the performance was </strong><strong>assessed</strong><strong> using response time, delay and throughput. Results showed that</strong><strong>,</strong><strong> mobile devices are capable of assisting road users’ in faster decision making by providing real-time traffic information and recommending alternative routes.</strong></p>


2008 ◽  
Vol 50 (1) ◽  
pp. 101-109 ◽  
Author(s):  
Daniel Mansson ◽  
Rajeev Thottappillil ◽  
Mats Backstrom ◽  
Olof Lunden

2009 ◽  
Vol 42 (15) ◽  
pp. 84-90 ◽  
Author(s):  
S. Jabri ◽  
E.M. El Koursi ◽  
E. Lemaire ◽  
T. Bourdeaud'huy

Sign in / Sign up

Export Citation Format

Share Document