Towards Modeling Monitoring of Smart Traffic Services in a Large-scale Distributed System

Andreea Buga, Sorana Tania Nemes

2017

Abstract

Smart traffic solutions have become an important component of today’s cities, due to their aim of improving the quality of the life of inhabitants and reducing the time spent in transportation. They are deployed across large distributed systems and require a robust infrastructure. Their complex structure has been addressed numerous times in practice, but rarely in a formal manner. We propose in this paper a formal modeling approach for monitoring traffic systems and identifying possible failures of traffic sensors. Ensuring a safe and robust deployment and execution of services implies having a clear view on the system status, which is analysed by the monitoring framework. Our work focuses on availability aspects and makes use of the Abstract State Machines modeling technique for specifying the solution. The framework is defined as an Abstract State Machine agent and simulated in the ASMETA tool.

References

  1. A. Bianchi, L. Manelli, S. P. (2011). A Distributed Abstract State Machine for Grid Systems: A Preliminary Study. In P. Ivnyi, B. T., editor, Proceedings of the Second International Conference on Parallel, Distributed, Grid and Cloud Computing for Engineering. Civil-Comp Press.
  2. Arcaini, P., Bonfanti, S., Gargantini, A., Mashkoor, A., and Riccobene, E. (2015). Formal validation and verification of a medical software critical component. In 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), pages 80-89.
  3. Arcaini, P., Holom, R.-M., and Riccobene, E. (2016). Asmbased formal design of an adaptivity component for a cloud system. Form. Asp. Comput., 28(4):567-595.
  4. Bergmayr, A., Rossini, A., Ferry, N., Horn, G., OrueEchevarria, L., Solberg, A., and Wimmer, M. (2015). The Evolution of CloudML and its Manifestations. In Proceedings of the 3rd International Workshop on Model-Driven Engineering on and for the Cloud (CloudMDE), pages 1-6, Ottawa, Canada.
  5. Bianchi, A., Manelli, L., and Pizzutilo, S. (2013). An ASMbased Model for Grid Job Management. Informatica (Slovenia), 37(3):295-306.
  6. Börger, E. and Stark, R. F. (2003). Abstract State Machines: A Method for High-Level System Design and Analysis. Springer-Verlag New York, Inc., Secaucus, NJ, USA.
  7. Gargantini, A., Riccobene, E., and Scandurra, P. (2008). A metamodel-based language and a simulation engine for Abstract State Machines. j-jucs, 14(12):1949- 1983.
  8. Glässer, U., Rastkar, S., and Vajihollahi, M. (2008). Modeling and Validation of Aviation Security, pages 337- 355. Springer Berlin Heidelberg, Berlin, Heidelberg.
  9. Haesevoets, R., Weyns, D., Holvoet, T., and Joosen, W. (2009). A formal model for self-adaptive and self-healing organizations. In 2009 ICSE Workshop on Software Engineering for Adaptive and SelfManaging Systems, pages 116-125.
  10. List, G. F. and Cetin, M. (2004). Modeling traffic signal control using Petri nets. IEEE Transactions on Intelligent Transportation Systems, 5(3):177-187.
  11. Nemeth, Z. N. and Sunderam, V. (2002). A formal framework for defining grid systems. In Cluster Computing and the Grid, 2002. 2nd IEEE/ACM International Symposium on, pages 202-202.
  12. Riccobene, E. and Scandurra, P. (2014). A formal framework for service modeling and prototyping. Formal Aspects of Computing, 26(6):1077-1113.
Download


Paper Citation


in Harvard Style

Buga A. and Nemes S. (2017). Towards Modeling Monitoring of Smart Traffic Services in a Large-scale Distributed System . In Proceedings of the 7th International Conference on Cloud Computing and Services Science - Volume 1: CLOSER, ISBN 978-989-758-243-1, pages 483-490. DOI: 10.5220/0006303704830490


in Bibtex Style

@conference{closer17,
author={Andreea Buga and Sorana Tania Nemes},
title={Towards Modeling Monitoring of Smart Traffic Services in a Large-scale Distributed System},
booktitle={Proceedings of the 7th International Conference on Cloud Computing and Services Science - Volume 1: CLOSER,},
year={2017},
pages={483-490},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006303704830490},
isbn={978-989-758-243-1},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 7th International Conference on Cloud Computing and Services Science - Volume 1: CLOSER,
TI - Towards Modeling Monitoring of Smart Traffic Services in a Large-scale Distributed System
SN - 978-989-758-243-1
AU - Buga A.
AU - Nemes S.
PY - 2017
SP - 483
EP - 490
DO - 10.5220/0006303704830490