loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Andreea Buga and Sorana Tania Nemes

Affiliation: Johannes Kepler University, Austria

Keyword(s): Formal Modeling, Monitoring Service, Traffic Surveillance, Abstract State Machines.

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.237.46.120

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 - CLOSER; ISBN 978-989-758-243-1; ISSN 2184-5042, SciTePress, pages 483-490. DOI: 10.5220/0006303704830490

@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 - CLOSER},
year={2017},
pages={483-490},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006303704830490},
isbn={978-989-758-243-1},
issn={2184-5042},
}

TY - CONF

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