TY - GEN
T1 - Model Based Simulation for a Smart City Project Based on LoRa
AU - Mesquita, Rui
AU - Campos-Rebelo, Rogério
AU - Barros, João Paulo
N1 - UID/EEA/00066/2019
Sem PDF conforme despacho.
PY - 2019/10
Y1 - 2019/10
N2 - The 'SmartCity: Lagoa' project is a partnership within the 'Portugal 2020' project, a municipality-scale installation of 20,000 IoT devices over the next 3 years. These devices include sensors for temperature, humidity, luminosity, volumetry, noise, carbon monoxide, pH, and ORP, among others; all transmitting the collected data to one of six gateways using LoRa technology. In the implementation of this project, a lack of tools allowing the simulation of LoRa based projects was detected. This paper presents a framework to simulate and monitor a project based on LoRa, using a precise and executable graphical language. The simulation can use, as input, real data from the implemented system and other data added for simulation purposes. This allows a basis on reality introducing useful information to guide the simulation to the intended tests. The behaviors are defined using CPN Tools, a design environment allowing editing, simulation, and verification of high-level Petri net models. This paper presents the system design and how the executable models are used to simulate and validate the model, namely the system behavior when gateways and sensors are connected and disconnected.
AB - The 'SmartCity: Lagoa' project is a partnership within the 'Portugal 2020' project, a municipality-scale installation of 20,000 IoT devices over the next 3 years. These devices include sensors for temperature, humidity, luminosity, volumetry, noise, carbon monoxide, pH, and ORP, among others; all transmitting the collected data to one of six gateways using LoRa technology. In the implementation of this project, a lack of tools allowing the simulation of LoRa based projects was detected. This paper presents a framework to simulate and monitor a project based on LoRa, using a precise and executable graphical language. The simulation can use, as input, real data from the implemented system and other data added for simulation purposes. This allows a basis on reality introducing useful information to guide the simulation to the intended tests. The behaviors are defined using CPN Tools, a design environment allowing editing, simulation, and verification of high-level Petri net models. This paper presents the system design and how the executable models are used to simulate and validate the model, namely the system behavior when gateways and sensors are connected and disconnected.
KW - Design Automation Tools
KW - Graphical Modeling
KW - LoRa
KW - Petri nets
KW - Simulation
KW - Smart City
KW - Wireless Sensor Network
UR - http://www.scopus.com/inward/record.url?scp=85084054444&partnerID=8YFLogxK
U2 - 10.1109/IECON.2019.8927772
DO - 10.1109/IECON.2019.8927772
M3 - Conference contribution
AN - SCOPUS:85084054444
T3 - IECON Proceedings (Industrial Electronics Conference)
SP - 5868
EP - 5873
BT - Proceedings: IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society
PB - IEEE Computer Society
T2 - 45th Annual Conference of the IEEE Industrial Electronics Society, IECON 2019
Y2 - 14 October 2019 through 17 October 2019
ER -
