Andreea Buga, Sorana-Tania Nemes,
"Towards Modeling Monitoring of Smart Traffic Services in a Large-scale Distributed System"
: CLOSER 2017 - Proceedings of the 7th International Conference on Cloud Computing and Services Science, Porto, Portugal, April 24-26, 2017., Serie Proceedings of the 7th International Conference on Cloud Computing and Services Science, SciTePress, Seite(n) 455-462, 6-2017, ISBN: 978-989-758-243-1
Original Titel:
Towards Modeling Monitoring of Smart Traffic Services in a Large-scale Distributed System
Sprache des Titels:
Englisch
Original Buchtitel:
CLOSER 2017 - Proceedings of the 7th International Conference on Cloud Computing and Services Science, Porto, Portugal, April 24-26, 2017.
Original Kurzfassung:
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.
Sprache der Kurzfassung:
Englisch
Veröffentlicher:
SciTePress
Serie:
Proceedings of the 7th International Conference on Cloud Computing and Services Science
Forschungs-