Online Route Analyzer (ORA): Runtime Verification Service for Routing Optimization of Electric Vehicles Çevrimiçi Rota Çözümleyicisi (ORA): Elektrikli Araçların Rotalama Eniyilemesi için Çalışma Zamanı Doğrulama Servisi

Kahraman S., Güneş İ., KIRCA Y. S., ÖZKAN M., YAZICI A.

32nd IEEE Conference on Signal Processing and Communications Applications, SIU 2024, Mersin, Turkey, 15 - 18 May 2024, (Full Text) identifier

  • Publication Type: Conference Paper / Full Text
  • Doi Number: 10.1109/siu61531.2024.10601154
  • City: Mersin
  • Country: Turkey
  • Keywords: Electric Vehicles, Model-Based Verification, Online Route Analyzer, Routing Optimization, Simulation of Urban MObility
  • Eskisehir Osmangazi University Affiliated: Yes

Abstract

Electric vehicles are gaining increasing popularity as an environmentally friendly and sustainable transportation alternative. However, effectively planning the daily routes of these vehicles necessitates optimization of situational information such as limited range and charging infrastructure, prompting the need for model-based verification. In this regard, a software service called Online Route Analyzer has been developed using the Runtime Verification technique to analyze and verify routing problems. The proposed service has been successfully tested on the Robot Operating System architecture, integrated with the microscopic traffic simulator called Simulation of Urban MObility, and the results have been conveyed.