TY  - JOUR
T1  - Stratified Model of the Internet of Things Infrastructure
AU - Shkarupylo, Vadym AU - Jamil Alsayaydeh, Jamil Abedalrahim AU - Bin Hamid, Mohd Saad AU - Skrupsky, Stepan AU - Oliinyk, Andrii 
JO  - Journal of Engineering and Applied Sciences
VL  - 13
IS  - 20
SP  - 8634
EP  - 8638
PY  - 2018
DA  - 2001/08/19
SN  - 1816-949x
DO  - jeasci.2018.8634.8638
UR  - https://makhillpublications.co/view-article.php?doi=jeasci.2018.8634.8638
KW  - Internet of things
KW  -model checking
KW  -specification
KW  -verification
KW  -temporal logic of actions
KW  -scenario
AB  - 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.
ER  -