Tool Supported Analysis of IoT

11/30/2017
by   Chiara Bodei, et al.
0

The design of IoT systems could benefit from the combination of two different analyses. We perform a first analysis to approximate how data flow across the system components, while the second analysis checks their communication soundness. We show how the combination of these two analyses yields further benefits hardly achievable by separately using each of them. We exploit two independently developed tools for the analyses. Firstly, we specify IoT systems in IoT-LySa, a simple specification language featuring asynchronous multicast communication of tuples. The values carried by the tuples are drawn from a term-algebra obtained by a parametric signature. The analysis of communication soundness is supported by ChorGram, a tool developed to verify the compatibility of communicating finite-state machines. In order to combine the analyses we implement an encoding of IoT-LySa processes into communicating machines. This encoding is not completely straightforward because IoT-LySa has multicast communications with data, while communication machines are based on point-to-point communications where only finitely many symbols can be exchanged. To highlight the benefits of our approach we appeal to a simple yet illustrative example.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

01/18/2021

DECT-2020 New Radio: The Next Step Towards 5G Massive Machine-Type Communications

Massive machine type communications (mMTC) is one of the cornerstone ser...
11/30/2019

Secure Wireless Internet of Things Communication using Virtual Private Networks

The Internet of Things (IoT) is an exploding market as well as a importa...
01/22/2021

CutLang V2: towards a unified Analysis Description Language

We will present the latest developments in CutLang, the runtime interpre...
09/22/2020

ThingML+ Augmenting Model-Driven Software Engineering for the Internet of Things with Machine Learning

In this paper, we present the current position of the research project M...
11/01/2020

Institution-based Encoding and Verification of Simple UML State Machines in CASL/SPASS

This paper provides the first correct semantical representation of UML s...
05/10/2020

Correct and Control Complex IoT Systems: Evaluation of a Classification for System Anomalies

In practice there are deficiencies in precise interteam communications a...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.