Stratified Model Of The Internet Of Things Infrastructure

Jamil Alsayaydeh, Jamil Abedalrahim and Shkarupylo, Vadym and Hamid, Mohd Saad and Skrupsky, Stepan and Oliinyk, Andrii (2018) Stratified Model Of The Internet Of Things Infrastructure. Journal Of Engineering And Applied Sciences, 13 (20). pp. 8634-8638. ISSN 1816-949X

Text 8634-8638.pdf - Published Version Download (179kB)

Abstract

The scale and the complexity of modern network solutions built upon the promising and popular paradigm of the Internet of Things brings to the table the vital need for novel approaches to these solutions designing.To foster the further developments in this direction,the stratified model of the Internet of Things infrastructure has been proposed.There are distinguished three hierarchical layers:the lowest one is represented with web services, the intermediate one-with usage scenarios,the upper layer-with applicability domain of the Internet of Things solution.The model is based on the Temporal Logic of Actions and corresponding TLA+ formalism.To check the specification,created with respect to the proposed model, the TLC model checker has been used.Two approaches to automated TLC-verification have been utilized-model checking by way of breadth-first search and by way of depth-first search.The smart home scenario has been considered.

Item Type:	Article
Uncontrolled Keywords:	Internet of things, model checking, specification, verification, temporal logic of actions, scenario
Subjects:	Q Science > Q Science (General) Q Science > QA Mathematics
Divisions:	Faculty of Engineering Technology
Depositing User:	Mohd. Nazir Taib
Date Deposited:	15 Aug 2019 04:23
Last Modified:	29 Aug 2021 22:27
URI:	http://eprints.utem.edu.my/id/eprint/22975
Statistic Details:	View Download Statistic

Actions (login required)

View Item