GTS-Visual Logic: Visual Logic and Tool for Analysis and Verification of Secure Requirements in Smart IoT Systems


KIPS Transactions on Computer and Communication Systems, Vol. 11, No. 9, pp. 289-304, Sep. 2022
https://doi.org/10.3745/KTCCS.2022.11.9.289,   PDF Download:
Keywords: GTS-VL, dTP-Calculus, IoT, SAVE, ADOxx
Abstract

It is necessary to apply process algebra and logic in order to analyze and verify safety requirements for Smart IoT Systems due to distributivity and mobility of the systems over some predefined geo-temporal space. However the analysis and verification cannot be fully intuitive over the space due to the fact that the existing process algebra and logic are very limited to express the distributivity and the mobility. In order to overcome the limitations, the paper presents a new logic, namely for GTS-VL (Geo-Temporal Space-Visual Logic), visualization of the analysis and verification over the space. GTS-VL is the first order logic that deals with relations among the different types of blocks over the space, which is the graph that visualizes the system behaviors specified with the existing dTP-Calculus. A tool, called SAVE, was developed over the ADOxx Meta-Modeling Platform in order to demonstrate the feasibility of the approach, and the advantages and practicality of the approach was shown with the comparative analysis of PBC (Producer-Buffer-Consumer) example between the graphical analysis and verification method over the textual method with SAVE tool.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
S. Lee and M. Lee, "GTS-Visual Logic: Visual Logic and Tool for Analysis and Verification of Secure Requirements in Smart IoT Systems," KIPS Transactions on Computer and Communication Systems, vol. 11, no. 9, pp. 289-304, 2022. DOI: https://doi.org/10.3745/KTCCS.2022.11.9.289.

[ACM Style]
SungHyeon Lee and MoonKun Lee. 2022. GTS-Visual Logic: Visual Logic and Tool for Analysis and Verification of Secure Requirements in Smart IoT Systems. KIPS Transactions on Computer and Communication Systems, 11, 9, (2022), 289-304. DOI: https://doi.org/10.3745/KTCCS.2022.11.9.289.