| Title |
Combining SysML and Timed Coloured Petri Nets for Designing Smart City Applications |
| ID_Doc |
38653 |
| Authors |
Souza, LS; Soares, MS |
| Title |
Combining SysML and Timed Coloured Petri Nets for Designing Smart City Applications |
| Year |
2023 |
| Published |
Journal Of Universal Computer Science, 29, 10 |
| DOI |
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, performance, 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. |
| Author Keywords |
Timed Coloured Petri Nets; SysML; Smart Cities; Traffic Signal Control; Model Integration; Model Simulation; Formal Verification |
| Index Keywords |
Index Keywords |
| Document Type |
Other |
| Open Access |
Open Access |
| Source |
Science Citation Index Expanded (SCI-EXPANDED) |
| EID |
WOS:001102390600007 |
| WoS Category |
Computer Science, Software Engineering; Computer Science, Theory & Methods |
| Research Area |
Computer Science |
| PDF |
https://doi.org/10.3897/jucs.97170
|