Combining SysML and Timed Coloured Petri Nets for Designing Smart City Applications
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. Urba...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Graz University of Technology
2023-10-01
|
| Series: | Journal of Universal Computer Science |
| Subjects: | |
| Online Access: | https://lib.jucs.org/article/97170/download/pdf/ |
| _version_ | 1797645791633866752 |
|---|---|
| author | Layse Santos Souza Michel S. Soares |
| author_facet | Layse Santos Souza Michel S. Soares |
| author_sort | Layse Santos Souza |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-03-11T14:51:59Z |
| format | Article |
| id | doaj.art-8f9d61d9038b4195b82a6253e60af11b |
| institution | Directory Open Access Journal |
| issn | 0948-6968 |
| language | English |
| last_indexed | 2024-03-11T14:51:59Z |
| publishDate | 2023-10-01 |
| publisher | Graz University of Technology |
| record_format | Article |
| series | Journal of Universal Computer Science |
| spelling | doaj.art-8f9d61d9038b4195b82a6253e60af11b2023-10-30T09:11:03ZengGraz University of TechnologyJournal of Universal Computer Science0948-69682023-10-0129101217124910.3897/jucs.9717097170Combining SysML and Timed Coloured Petri Nets for Designing Smart City ApplicationsLayse Santos Souza0Michel S. Soares1Federal University of SergipeFederal University of SergipeA 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.https://lib.jucs.org/article/97170/download/pdf/Timed Coloured Petri NetsSysMLSmart CitiesTr |
| spellingShingle | Layse Santos Souza Michel S. Soares Combining SysML and Timed Coloured Petri Nets for Designing Smart City Applications Journal of Universal Computer Science Timed Coloured Petri Nets SysML Smart Cities Tr |
| title | Combining SysML and Timed Coloured Petri Nets for Designing Smart City Applications |
| title_full | Combining SysML and Timed Coloured Petri Nets for Designing Smart City Applications |
| title_fullStr | Combining SysML and Timed Coloured Petri Nets for Designing Smart City Applications |
| title_full_unstemmed | Combining SysML and Timed Coloured Petri Nets for Designing Smart City Applications |
| title_short | Combining SysML and Timed Coloured Petri Nets for Designing Smart City Applications |
| title_sort | combining sysml and timed coloured petri nets for designing smart city applications |
| topic | Timed Coloured Petri Nets SysML Smart Cities Tr |
| url | https://lib.jucs.org/article/97170/download/pdf/ |
| work_keys_str_mv | AT laysesantossouza combiningsysmlandtimedcolouredpetrinetsfordesigningsmartcityapplications AT michelssoares combiningsysmlandtimedcolouredpetrinetsfordesigningsmartcityapplications |