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

^*Kontaktforfatter

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

2 Citationer (Scopus)

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.

Originalsprog	Engelsk
Titel	Engineering of Computer-Based Systems : 8th International Conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, Proceedings
Redaktører	Jan Kofroň, Tiziana Margaria, Cristina Seceleanu
Antal sider	17
Forlag	Springer
Publikationsdato	2024
Sider	153-169
ISBN (Trykt)	978-3-031-49251-8
ISBN (Elektronisk)	978-3-031-49252-5
DOI	https://doi.org/10.1007/978-3-031-49252-5_12
Status	Udgivet - 2024
Begivenhed	8th International Conference on Engineering of Computer-Based Systems, ECBS 2023 - Västerås, Sverige Varighed: 16 okt. 2023 → 18 okt. 2023

Konference

Konference	8th International Conference on Engineering of Computer-Based Systems, ECBS 2023
Land/Område	Sverige
By	Västerås
Periode	16/10/2023 → 18/10/2023

Navn	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind	14390 LNCS
ISSN	0302-9743

Bibliografisk note

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

Adgang til dokumentet

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

Accepted author manuscriptAccepteret manuskript, 2,33 MBLicens: Ikke-specificeret

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Andre filer og links

Link to publication in Scopus

2 Citationer
1 Ph.d.-afhandling

Energy-Efficient Cyber-Physical Systems: A Model-Based Approach
Naeem, M., 2024, Aalborg University Open Publishing. 152 s.
Publikation: Ph.d.-afhandling

Åben adgang
Fil

162 Downloads (Pure)

Citationsformater

Naeem, M., Albano, M., Larsen, K. G., & Nielsen, B. (2024). Comparative Analysis of Uppaal SMC, ns-3 and MATLAB/Simulink. I J. Kofroň, T. Margaria, & C. Seceleanu (red.), Engineering of Computer-Based Systems: 8th International Conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, Proceedings (s. 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. red. / Jan Kofroň ; Tiziana Margaria ; Cristina Seceleanu. Springer, 2024. s. 153-169 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 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. i J Kofroň, T Margaria & C Seceleanu (red), 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), bind 14390 LNCS, s. 153-169, 8th International Conference on Engineering of Computer-Based Systems, ECBS 2023, Västerås, Sverige, 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. red. / Jan Kofroň; Tiziana Margaria; Cristina Seceleanu. Springer, 2024. s. 153-169 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14390 LNCS).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › 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. I Kofroň J, Margaria T, Seceleanu C, red., Engineering of Computer-Based Systems: 8th International Conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, Proceedings. Springer. 2024. s. 153-169. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14390 LNCS). doi: 10.1007/978-3-031-49252-5_12