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, Türkiye, 15 - 18 Mayıs 2024 identifier

  • Yayın Türü: Bildiri / Tam Metin Bildiri
  • Doi Numarası: 10.1109/siu61531.2024.10601154
  • Basıldığı Şehir: Mersin
  • Basıldığı Ülke: Türkiye
  • Anahtar Kelimeler: Electric Vehicles, Model-Based Verification, Online Route Analyzer, Routing Optimization, Simulation of Urban MObility
  • Eskişehir Osmangazi Üniversitesi Adresli: Evet

Özet

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.