Abstract
Understanding the impacts of a mobility initiative prior to deployment is a complex task for both urban planners and transport companies. To support this task, Tangramob offers an agent-based simulation framework for assessing the evolution of urban traffic after the introduction of new mobility services. However, Tangramob simulations are computationally expensive due to their iterative nature. Thus, we simplified the Tangramob model into a Timed Rebeca (TRebeca) model and we designed a tool-chain that generates instances of this model starting from the same Tangramob’s inputs. Running TRebeca models allows users to get an idea of how mobility initiatives affect the system performance, in a short time, without resorting to the simulator. To validate this approach, we compared the output of both the simulator and the TRebeca model on a collection of mobility initiatives. Results show a correlation between them, thus demonstrating the usefulness of using TRebeca models for unconventional contexts of application.
The work of the 4th and a part of that of the 5th author are supported by “Self-Adaptive Actors: SEADA” (project nr. 163205-051) from Icelandic Research Fund.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
ToolTRain project. https://rebeca-lang.github.io/allprojects/Tangramob
Benevolo, C., Dameri, R.P., D’Auria, B.: Smart mobility in smart city. In: Torre, T., Braccini, A.M., Spinelli, R. (eds.) Empowering Organizations. LNISO, vol. 11, pp. 13–28. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-23784-8_2
Bosch, P.M., Ciari, F.: Macrosim - a macroscopic mobsim for MATSim. Procedia Comput. Sci. 109 (2017). https://doi.org/10.1016/j.procs.2017.05.406
Castagnari, C., De Angelis, F., de Berardinis, J., Forcina, G., Polini, A.: Tangramob: an agent-based simulation framework for validating smart mobility solutions. https://www.tangramob.com/docs/SmartHub_Thesis.pdf
Charypar, D., Axhausen, K., Nagel, K.: Event-driven queue-based traffic flow microsimulation. Transp. Res. Record: J. Transp. Res. Board 2003, 35–40 (2007)
Fehrenbacher, K.: Another failed attempt to make ride sharing work in the U.S., ridejoy to shut down. https://goo.gl/3ITYce
Horni, A., Nagel, K., Axhausen, K.W.: The Multi-Agent Transport Simulation MATSim. Ubiquity-Press, London (2016)
Khamespanah, E., Sirjani, M., Kaviani, Z.S., Khosravi, R., Izadi, M.J.: Timed rebeca schedulability and deadlock freedom analysis using bounded floating time transition system. Sci. Comput. Program. 98, 184–204 (2015)
Mamiit, A.: Why the ride-sharing company failed to conquer China and what it means for everyone else (2016). https://goo.gl/cHuC9n
Reynisson, A.H., Sirjani, M., Aceto, L., Cimini, M., Jafari, A., Ingolfsdottir, A., Sigurdarson, S.H.: Modelling and simulation of asynchronous real-time systems using timed rebeca. Sci. Comput. Program. 89, 41–68 (2014)
Sirjani, M.: Rebeca: theory, applications, and tools. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2006. LNCS, vol. 4709, pp. 102–126. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-74792-5_5
Sirjani, M., Khamespanah, E.: On time actors. In: Ábrahám, E., Bonsangue, M., Johnsen, E.B. (eds.) Theory and Practice of Formal Methods. LNCS, vol. 9660, pp. 373–392. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-30734-3_25
Strippgen, D., Nagel, K.: Multi-agent traffic simulation with cuda. In: High Performance Computing and Simulation, HPCS 2009. IEEE (2009)
United Nations: The World’s Cities in 2016. United Nations, New York (2016)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this paper
Cite this paper
Castagnari, C., de Berardinis, J., Forcina, G., Jafari, A., Sirjani, M. (2018). Lightweight Preprocessing for Agent-Based Simulation of Smart Mobility Initiatives. In: Cerone, A., Roveri, M. (eds) Software Engineering and Formal Methods. SEFM 2017. Lecture Notes in Computer Science(), vol 10729. Springer, Cham. https://doi.org/10.1007/978-3-319-74781-1_36
Download citation
DOI: https://doi.org/10.1007/978-3-319-74781-1_36
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-74780-4
Online ISBN: 978-3-319-74781-1
eBook Packages: Computer ScienceComputer Science (R0)