Smart City Gnosys
Smart city article details
| Title | Combining Sysml And Timed Coloured Petri Nets For Designing Smart City Applications |
|---|---|
| ID_Doc | 14856 |
| Authors | Santos Souza L.; Soares M.S. |
| Year | 2023 |
| Published | Journal of Universal Computer Science, 29, 10 |
| DOI | http://dx.doi.org/10.3897/jucs.97170 |
| Abstract | A smart city is an urban centre that integrates a variety of solutions to improve infrastructure performance and achieve sustainable urban development. Urban roads are a crucial infrastructure highly demanded by citizens and organisations interested in their deployment, perfor-mance, and safety. Urban traffic signal control is an important and challenging real-world problem that aims to monitor and improve traffic congestion. The deployment of traffic signals for vehicles or pedestrians at an intersection is a complex activity that changes constantly, so it is necessary to establish rules to control the flow of vehicles and pedestrians. Thus, this article describes the joint use of the SmartCitySysML, a profile proposed by the authors, with TCPN (Timed Coloured Petri Nets) to refine and formally model SysML diagrams specifying the internal behaviour, and then verify the developed model to prove behavioural properties of an urban traffic signal control system. © 2023, IICM. All rights reserved. |
| Author Keywords | Formal Verification; Model Integration; Model Simulation; Smart Cities; SysML; Timed Coloured Petri Nets; Traffic Signal Control |
Similar Articles
| Id | Similarity | Authors | Title | Published |
|---|---|---|---|---|
51821  | 0.891 | Souza, LS; Misra, S; Soares, MS | Smartcitysysml: A Sysml Profile For Smart Cities Applications | COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2020, PT VI, 12254 (2020) |
| 7335 | 0.862 | Galán-García, JL; Aguilera-Venegas, G; Rodríguez-Cielos, P | An Accelerated-Time Simulation For Traffic Flow In A Smart City | JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, 270 (2014) |
| 50549 | 0.853 | Sharma A.; Madan V.; Bhargav V.; Gulati N. | Smart City Traffic Control System: A Literature Review | Proceedings of the 14th International Conference on Cloud Computing, Data Science and Engineering, Confluence 2024 (2024) |