Online Route Analyzer (ORA): Runtime Verification Service for Routing Optimization of Electric Vehicles

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.