Formal Model for Checking the Interoperability Between the Components of the IoT system
Today, the significant volumes of network traffic circulate through the Internet. The sources of such traffic are, in particular, the diverse territory distributed “smart” devices. The number of named devices is about billions. As a consequence, the relevance of bringing to practice the core concept...
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Academy of Sciences of Moldova
2019-06-01
|
| Series: | Problems of the Regional Energetics |
| Subjects: | |
| Online Access: | http://journal.ie.asm.md/assets/files/07_11_40_2019.pdf |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849388767082708992 |
|---|---|
| author | Timenko A.V. Shkarupylo V.V. Oliinyk A.O. Hrushko S.S. |
| author_facet | Timenko A.V. Shkarupylo V.V. Oliinyk A.O. Hrushko S.S. |
| author_sort | Timenko A.V. |
| collection | DOAJ |
| description | Today, the significant volumes of network traffic circulate through the Internet. The sources of such traffic are, in particular, the diverse territory distributed “smart” devices. The number of named devices is about billions. As a consequence, the relevance of bringing to practice the core concepts of the Internet of Things paradigm is constantly becoming more and more topical. It’s bound with the problem of granting the interoperability between the components of distributed software systems, built over the aforementioned devices. The web services are typically considered as the components of the system. To this end, to establish the interoperability between the components, despite the standardization, the need for the development of effective tools and techniques, granting the interoperability between the web services, arises. The goal of the work is to increase the effectiveness of the Internet of Things system engineering process by way of checking the interoperability between the components during the designing. The goal is achieved through the development of formal model for checking the interoperability between the components of the Internet of Things system by way of model checking in an automated manner. The novelty of proposed solution is grounded on the usage of Temporal Logic of Actions, corresponding formalism and the concept of action as the basis for compact and easily reconfigurable formal specifications synthesis. The adequacy of proposed model has been proved through the case study. The verification-related time costs have been estimated. |
| format | Article |
| id | doaj-art-ffe4f177f63147c79de440fdfd5b7ad0 |
| institution | Kabale University |
| issn | 1857-0070 |
| language | English |
| publishDate | 2019-06-01 |
| publisher | Academy of Sciences of Moldova |
| record_format | Article |
| series | Problems of the Regional Energetics |
| spelling | doaj-art-ffe4f177f63147c79de440fdfd5b7ad02025-08-20T03:42:10ZengAcademy of Sciences of MoldovaProblems of the Regional Energetics1857-00702019-06-01401-1697810.5281/zenodo.3239196Formal Model for Checking the Interoperability Between the Components of the IoT systemTimenko A.V.0Shkarupylo V.V.1Oliinyk A.O.2Hrushko S.S.3Zaporizhzhia National Technical University Zaporizhzhia, UkraineNational University of Life and Environmental Sciences of Ukraine Kyiv, UkraineZaporizhzhia National Technical University Zaporizhzhia, UkraineNational University of Life and Environmental Sciences of Ukraine Kyiv, UkraineToday, the significant volumes of network traffic circulate through the Internet. The sources of such traffic are, in particular, the diverse territory distributed “smart” devices. The number of named devices is about billions. As a consequence, the relevance of bringing to practice the core concepts of the Internet of Things paradigm is constantly becoming more and more topical. It’s bound with the problem of granting the interoperability between the components of distributed software systems, built over the aforementioned devices. The web services are typically considered as the components of the system. To this end, to establish the interoperability between the components, despite the standardization, the need for the development of effective tools and techniques, granting the interoperability between the web services, arises. The goal of the work is to increase the effectiveness of the Internet of Things system engineering process by way of checking the interoperability between the components during the designing. The goal is achieved through the development of formal model for checking the interoperability between the components of the Internet of Things system by way of model checking in an automated manner. The novelty of proposed solution is grounded on the usage of Temporal Logic of Actions, corresponding formalism and the concept of action as the basis for compact and easily reconfigurable formal specifications synthesis. The adequacy of proposed model has been proved through the case study. The verification-related time costs have been estimated.http://journal.ie.asm.md/assets/files/07_11_40_2019.pdfInternet of Thingsaweb service |
| spellingShingle | Timenko A.V. Shkarupylo V.V. Oliinyk A.O. Hrushko S.S. Formal Model for Checking the Interoperability Between the Components of the IoT system Problems of the Regional Energetics Internet of Things a web service |
| title | Formal Model for Checking the Interoperability Between the Components of the IoT system |
| title_full | Formal Model for Checking the Interoperability Between the Components of the IoT system |
| title_fullStr | Formal Model for Checking the Interoperability Between the Components of the IoT system |
| title_full_unstemmed | Formal Model for Checking the Interoperability Between the Components of the IoT system |
| title_short | Formal Model for Checking the Interoperability Between the Components of the IoT system |
| title_sort | formal model for checking the interoperability between the components of the iot system |
| topic | Internet of Things a web service |
| url | http://journal.ie.asm.md/assets/files/07_11_40_2019.pdf |
| work_keys_str_mv | AT timenkoav formalmodelforcheckingtheinteroperabilitybetweenthecomponentsoftheiotsystem AT shkarupylovv formalmodelforcheckingtheinteroperabilitybetweenthecomponentsoftheiotsystem AT oliinykao formalmodelforcheckingtheinteroperabilitybetweenthecomponentsoftheiotsystem AT hrushkoss formalmodelforcheckingtheinteroperabilitybetweenthecomponentsoftheiotsystem |