Service availability analysis of a multimodal travel planner using Stochastic Automata

In this paper, we address the problem of evaluating the aggregated services offered to the user through a multimodal travel planner. The effective design of a multimodal travel planner is considered a complex task since it requires the identification of the best possible route that combines segments of different transport modes. We describe a novel architecture and its respective connectivity infrastructure that incorporates all available travel-related services through the integration of several application programming interfaces (APIs) and we analyze its robustness regarding unplanned service interruptions using well-known mathematical tools such as the Stochastic Automata Networks. Additionally, we demonstrate the system's availability and effectiveness through realistic measurements obtained from the testing environments of various Global Distribution Systems (GDSs) and transport operators that result in the enhancement of the required Quality of Service (QoS) and Experience (QoE) for such intelligent systems.