Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Architectural Invariants and Correctness of IoT-based Systems   Internet of Things applications impact more and more industrial areas such as
smart manufacturing, smart health monitoring and home automation; physical
objects or devices equipped with sensors and actuators are interconnected and
then controlled with software applications. Ensuring the correct construction,
the well-functioning and the reliability of these applications constitute
important issues for some of these applications which can be critical in case
of dysfunction. We propose on the basis of the formal model of their common
architectural properties, a generic framework for the formal modelling of
IoT-based applications, the rigorous analysis of their consistency properties,
their rigorous construction and evolution. Specific properties can be gradually
added and checked. The proposed framework is then implemented and experimented
using Event-B. We exploit the observation that the main requirements of the
IoT-based physical architectures and control software are common to all
IoT-based applications; this leaded us to the definition of the generic formal
model together with invariant architectural and consistency properties. The
proposed approach is generic, extensible, and can be profitably adapted to more
general hybrid or cyber-physical systems. Our current implementation is
independent of the formal model, it can be achieved in various other formal
analysis environments.

28
The categories of this paper are: alg-geom
4
The categories of this paper are: cond-mat
24
The categories of this paper are: dg-ga
14
The categories of this paper are: math-ph
23
The categories of this paper are: solv-int
37
The categories of this paper are: supr-con
17
The categories of this paper are: q-fin
26
The categories of this paper are: bayes-an
16
The categories of this paper are: stat
3
The categories of this paper are: physics
27
The categories of this paper are: comp-gas
32
The categories of this paper are: atom-ph
21
The categories of this paper are: adap-org
2
The categories of this paper are: math
20
The categories of this paper are: acc-phys
18
The categories of this paper are: econ