Comparative Analysis of Uppaal SMC, ns-3 and MATLAB/Simulink

Muhammad Naeem; Michele Albano; Kim Guldstrand Larsen; Brian Nielsen

doi:10.1007/978-3-031-49252-5_12

Comparative Analysis of Uppaal SMC, ns-3 and MATLAB/Simulink

Muhammad Naeem^*, Michele Albano, Kim Guldstrand Larsen, Brian Nielsen

^*Corresponding author for this work

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

2 Citations (Scopus)

2 Downloads (Pure)

Abstract

IoT networks connect everyday devices to the internet to communicate with one another and humans. It is more cost-effective to analyse and verify the performance of the designed prototype before deploying these complex networks. Network Simulator 3 (ns-3), MATLAB/Simulink, and Uppaal SMC are three industry-leading tools that simulate communicating models, each with strengths and weaknesses. NS3 is suitable for large-scale network simulations, MATLAB/Simulink is suitable for complex models and data analysis, and Uppaal SMC is efficient for real-time probabilistic systems with complex timing requirements, This paper presents a comparative analysis of NS3 and MATLAB/Simulink and Uppaal SMC, based on a Sigfox-based case study, focusing on the behaviour of a single Sigfox node. The comparison is drawn on ease of use, flexibility, and scalability. The results can help researchers make informed decisions when designing and evaluating simulation experiments. They demonstrate that the choice of tool depends on the specific requirements of the simulation project and requires careful consideration of the strengths and weaknesses of each tool.

Original language	English
Title of host publication	Engineering of Computer-Based Systems : 8th International Conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, Proceedings
Editors	Jan Kofroň, Tiziana Margaria, Cristina Seceleanu
Number of pages	17
Publisher	Springer
Publication date	2024
Pages	153-169
ISBN (Print)	978-3-031-49251-8
ISBN (Electronic)	978-3-031-49252-5
DOIs	https://doi.org/10.1007/978-3-031-49252-5_12
Publication status	Published - 2024
Event	8th International Conference on Engineering of Computer-Based Systems, ECBS 2023 - Västerås, Sweden Duration: 16 Oct 2023 → 18 Oct 2023

Conference

Conference	8th International Conference on Engineering of Computer-Based Systems, ECBS 2023
Country/Territory	Sweden
City	Västerås
Period	16/10/2023 → 18/10/2023

Series	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	14390 LNCS
ISSN	0302-9743

Bibliographical note

Publisher Copyright:
© 2024, The Author(s), under exclusive license to Springer Nature Switzerland AG.

Keywords

Energy Model
IoT
Network Modelling
Network Simulators
Sigfox
WSN

Access to Document

10.1007/978-3-031-49252-5_12

Accepted author manuscriptAccepted author manuscript, 2.33 MBLicence: Unspecified

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

Naeem, M., Albano, M., Larsen, K. G., & Nielsen, B. (2024). Comparative Analysis of Uppaal SMC, ns-3 and MATLAB/Simulink. In J. Kofroň, T. Margaria, & C. Seceleanu (Eds.), Engineering of Computer-Based Systems: 8th International Conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, Proceedings (pp. 153-169). Springer. https://doi.org/10.1007/978-3-031-49252-5_12

Naeem, Muhammad ; Albano, Michele ; Larsen, Kim Guldstrand et al. / Comparative Analysis of Uppaal SMC, ns-3 and MATLAB/Simulink. Engineering of Computer-Based Systems: 8th International Conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, Proceedings. editor / Jan Kofroň ; Tiziana Margaria ; Cristina Seceleanu. Springer, 2024. pp. 153-169 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14390 LNCS).

@inproceedings{0e8192af563f48f595779d88057c8ad2,

title = "Comparative Analysis of Uppaal SMC, ns-3 and MATLAB/Simulink",

abstract = "IoT networks connect everyday devices to the internet to communicate with one another and humans. It is more cost-effective to analyse and verify the performance of the designed prototype before deploying these complex networks. Network Simulator 3 (ns-3), MATLAB/Simulink, and Uppaal SMC are three industry-leading tools that simulate communicating models, each with strengths and weaknesses. NS3 is suitable for large-scale network simulations, MATLAB/Simulink is suitable for complex models and data analysis, and Uppaal SMC is efficient for real-time probabilistic systems with complex timing requirements, This paper presents a comparative analysis of NS3 and MATLAB/Simulink and Uppaal SMC, based on a Sigfox-based case study, focusing on the behaviour of a single Sigfox node. The comparison is drawn on ease of use, flexibility, and scalability. The results can help researchers make informed decisions when designing and evaluating simulation experiments. They demonstrate that the choice of tool depends on the specific requirements of the simulation project and requires careful consideration of the strengths and weaknesses of each tool.",

keywords = "Energy Model, IoT, Network Modelling, Network Simulators, Sigfox, WSN",

author = "Muhammad Naeem and Michele Albano and Larsen, {Kim Guldstrand} and Brian Nielsen",

note = "Publisher Copyright: {\textcopyright} 2024, The Author(s), under exclusive license to Springer Nature Switzerland AG.; 8th International Conference on Engineering of Computer-Based Systems, ECBS 2023 ; Conference date: 16-10-2023 Through 18-10-2023",

year = "2024",

doi = "10.1007/978-3-031-49252-5_12",

language = "English",

isbn = "978-3-031-49251-8",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "153--169",

editor = "Jan Kofro{\v n} and Tiziana Margaria and Cristina Seceleanu",

booktitle = "Engineering of Computer-Based Systems",

address = "Germany",

}

Naeem, M, Albano, M , Larsen, KG & Nielsen, B 2024, Comparative Analysis of Uppaal SMC, ns-3 and MATLAB/Simulink. in J Kofroň, T Margaria & C Seceleanu (eds), Engineering of Computer-Based Systems: 8th International Conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, Proceedings. Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14390 LNCS, pp. 153-169, 8th International Conference on Engineering of Computer-Based Systems, ECBS 2023, Västerås, Sweden, 16/10/2023. https://doi.org/10.1007/978-3-031-49252-5_12

Comparative Analysis of Uppaal SMC, ns-3 and MATLAB/Simulink. / Naeem, Muhammad; Albano, Michele ; Larsen, Kim Guldstrand et al.
Engineering of Computer-Based Systems: 8th International Conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, Proceedings. ed. / Jan Kofroň; Tiziana Margaria; Cristina Seceleanu. Springer, 2024. p. 153-169 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14390 LNCS).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - Comparative Analysis of Uppaal SMC, ns-3 and MATLAB/Simulink

AU - Naeem, Muhammad

AU - Albano, Michele

AU - Larsen, Kim Guldstrand

AU - Nielsen, Brian

PY - 2024

Y1 - 2024

N2 - IoT networks connect everyday devices to the internet to communicate with one another and humans. It is more cost-effective to analyse and verify the performance of the designed prototype before deploying these complex networks. Network Simulator 3 (ns-3), MATLAB/Simulink, and Uppaal SMC are three industry-leading tools that simulate communicating models, each with strengths and weaknesses. NS3 is suitable for large-scale network simulations, MATLAB/Simulink is suitable for complex models and data analysis, and Uppaal SMC is efficient for real-time probabilistic systems with complex timing requirements, This paper presents a comparative analysis of NS3 and MATLAB/Simulink and Uppaal SMC, based on a Sigfox-based case study, focusing on the behaviour of a single Sigfox node. The comparison is drawn on ease of use, flexibility, and scalability. The results can help researchers make informed decisions when designing and evaluating simulation experiments. They demonstrate that the choice of tool depends on the specific requirements of the simulation project and requires careful consideration of the strengths and weaknesses of each tool.

AB - IoT networks connect everyday devices to the internet to communicate with one another and humans. It is more cost-effective to analyse and verify the performance of the designed prototype before deploying these complex networks. Network Simulator 3 (ns-3), MATLAB/Simulink, and Uppaal SMC are three industry-leading tools that simulate communicating models, each with strengths and weaknesses. NS3 is suitable for large-scale network simulations, MATLAB/Simulink is suitable for complex models and data analysis, and Uppaal SMC is efficient for real-time probabilistic systems with complex timing requirements, This paper presents a comparative analysis of NS3 and MATLAB/Simulink and Uppaal SMC, based on a Sigfox-based case study, focusing on the behaviour of a single Sigfox node. The comparison is drawn on ease of use, flexibility, and scalability. The results can help researchers make informed decisions when designing and evaluating simulation experiments. They demonstrate that the choice of tool depends on the specific requirements of the simulation project and requires careful consideration of the strengths and weaknesses of each tool.

KW - Energy Model

KW - IoT

KW - Network Modelling

KW - Network Simulators

KW - Sigfox

KW - WSN

UR - http://www.scopus.com/inward/record.url?scp=85180154937&partnerID=8YFLogxK

U2 - 10.1007/978-3-031-49252-5_12

DO - 10.1007/978-3-031-49252-5_12

M3 - Article in proceeding

AN - SCOPUS:85180154937

SN - 978-3-031-49251-8

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 153

EP - 169

BT - Engineering of Computer-Based Systems

A2 - Kofroň, Jan

A2 - Margaria, Tiziana

A2 - Seceleanu, Cristina

PB - Springer

T2 - 8th International Conference on Engineering of Computer-Based Systems, ECBS 2023

Y2 - 16 October 2023 through 18 October 2023

ER -

Naeem M, Albano M , Larsen KG , Nielsen B. Comparative Analysis of Uppaal SMC, ns-3 and MATLAB/Simulink. In Kofroň J, Margaria T, Seceleanu C, editors, Engineering of Computer-Based Systems: 8th International Conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, Proceedings. Springer. 2024. p. 153-169. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14390 LNCS). doi: 10.1007/978-3-031-49252-5_12